Bases: titus.pfaast.Ast
Represents an unresolved substitution in the abstract syntax tree.
PrettyPFA can make substitutions with <<French quotes>>.
A PFA document is not valid if it contains any unresolved substitutions.
Parameters: |
|
---|
Mini-AST method for representing as an expression.
Mini-AST method for representing as a type.
Inserts self into the Pythonized JSON, which would make it unserializable.
Raises a syntax exception because unresolved substitutions are not allowed in valid PFA.
Raises a syntax exception because unresolved substitutions are not allowed in valid PFA.