You can search for identifiers within the package.
in-package search v0.2.0
type term = t
An alias for the type of the ABT for reference in the context of the substitution
type t
Substitutions mapping free variables to terms
val find : Var.t -> t -> term option
find v s is Some term if v is bound to term in the substitution s, otherwise it is None
find v s
Some term
v
term
s
None
val bindings : t -> (Var.t * term) list
bindings s is a list of all the bindings in s
bindings s
val to_string : t -> string