hylolib-1.5.4: Tools for hybrid logics related programs

Safe HaskellNone
LanguageHaskell2010

HyLo.InputFile.OldLexer

Documentation

data FilePos Source #

Instances
Eq FilePos Source # 
Instance details

Defined in HyLo.InputFile.OldLexer

Methods

(==) :: FilePos -> FilePos -> Bool #

(/=) :: FilePos -> FilePos -> Bool #

Show FilePos Source # 
Instance details

Defined in HyLo.InputFile.OldLexer