This library exports Terms.
Type alias for term
Dict String Term
Type alias for substitution
toString : Term -> String
String representation of a Term
strSubstitution : Substitution -> String
String representation of a Substitution
argsToString : List Term -> String
String represenation of multiple Terms
substitute : Substitution -> Term -> Term
substitute
substs : Substitution -> Set String -> List Term -> Result String (List Term)
substs
subst : Substitution -> Set String -> Term -> Result String Term
subst
free : Term -> Set String
free
freeA : Term -> Set String -> Set String
freeA
functionsA : Term -> Set String -> Set String
functionsA
variablesA : Term -> Set String -> Set String
variablesA