titus.prettypfa.MiniAst¶

class titus.prettypfa.MiniAst(low, high)[source]¶

Bases: object

Trait for PrettyPFA Mini-AST.

__init__(low, high)¶

asCell(state)¶

asExpr(state)¶

asFcn()¶

asJson()¶

asPool(state)¶

asType(state)¶

defType(state)¶

pos¶