titus.prettypfa.ppfa

titus.prettypfa.ppfa(text, subs={}, **subs2)[source]

Parse a string of a single PrettyPFA expression as a PFA abstract syntax trees.

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)
Return type:

titus.pfaast.Expression

Returns:

parsed expression as PFA