Module Unification.Subst
type term
= t
An alias for the type of the ABT for reference in the context of the substitution
val find : Var.t -> t -> term option
find v s
isSome term
ifv
is bound toterm
in the substitutions
, otherwise it isNone
val to_string : t -> string