FMFI-UK-1-AIN-412 / elm-formula / 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

Strings

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

Tableau helpers

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

Symbol helpers

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