titus.prettypfa.expr

titus.prettypfa.expr(prettyPfa, subs={}, **subs2)[source]

Parse a string of a single PrettyPFA expression as PFA Pythonized JSON.

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:

Pythonized JSON

Returns:

parsed expression as PFA