titus.prettypfa.ppfas¶

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

Parse a string of several PrettyPFA expressions (delimited by semicolons) as a list of 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:	list of titus.pfaast.Expression
Returns:	parsed expressions as PFA