package um-abt

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Unification.Subst`Source

Sourcetype term = t

An alias for the type of the ABT for reference in the context of the substitution

Sourcetype t

Substitutions mapping free variables to terms

Sourceval 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

Sourceval bindings : t -> (Var.t * term) list

bindings s is a list of all the bindings in s

Sourceval to_string : t -> string