A StringContext
Parses a string as a FOLAtom.
Parses a string as a FOLConst.
Parses a string as a FOLExpression.
Parses a string as a FOLFormula.
Parses a string as a FOLTerm.
Parses a string as a FOLVar.
Parses a string as a HOLAtom.
Parses a string as a Const.
Parses a string as a HOLFormula.
Parses a string as a Var.
Parses a string as a LambdaExpression.
A StringContext
Extension class that provides string interpolation functions for various expression types.