Hermod.ReCon.Common.Parser
parseIdentifier :: Parser VariableIdentifier Source #
parseIntValue :: Parser IntValue Source #
parseNatValue :: Parser NatValue Source #
parseBinRel :: Parser BinRel Source #