tip-lib-0.1.2: tons of inductive problems - support library and tools
Tip.Parser
Description
Parses the TIP format
Synopsis
parse :: String -> Either String (Theory Id) Source
Parse, and get either an error or the string's theory
data Id Source
Identifiers from parsed Tip syntax
Instances
idPos :: Id -> Maybe (Int, Int) Source
A source position of the identifier, if available