package um-abt

  1. Overview
  2. Docs

Module Unification.SubstSource

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
OCaml

Innovation. Community. Security.