(env=None)
return PrattParser(HRLexer, env=env)
Parser for HR format of pySMT.
Parser for HR format of pySMT.
Parser for HR format of pySMT .
def HRParser(env=None):
    """Parser for HR format of pySMT."""
    return PrattParser(HRLexer, env=env)
def HRParser ( env = None ) : return PrattParser ( HRLexer , env = env )