Parameters: |
- text (string) – PrettyPFA expressions (delimited by semicolons)
- subs (dict from substitution names to substitutions) – replacement values as PFA titus.pfaast.Ast, PrettyPFA strings, or PFA Pythonized JSON
- subs2 (dict from substitution names to substitutions) – added to subs (a more convenient way to pass them)
|