Language.Fixpoint.Types.Spans

Concrete Location Type

data SourcePos

data SrcSpan

Located Values

class Loc a

data Located a

Constructing spans

dummySpan

locAt

dummyLoc

dummyPos

atLoc

Destructing spans

sourcePosElts