Term

This library exports Terms.

Definitions

type Term

= Var String

| Fun String (List Term)

Type alias for term

type alias Substitution =

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