hylolib-1.5.4: Tools for hybrid logics related programs
HyLo.InputFile.OldParser
parse :: [(Token, FilePos)] -> [Formula NomSymbol PropSymbol RelSymbol] Source #