import Base

type Error is Data:
  Bounds{}
  ForeignFile{}
  InvalidRange{}
  InvalidScalar{}
  Limit{}
  IndexInvariant{}

type Cursor is Data:
  Cursor{file: U32, offset: U32}

type Span is Data:
  Span{file: U32, start: U32, end: U32}

type Location is Data:
  Location{line: U32, column: U32}