package um-abt
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module Unification.Subst
Source
An alias for the type of the ABT for reference in the context of the substitution
Substitutions mapping free variables to terms
find v s
is Some term
if v
is bound to term
in the substitution s
, otherwise it is None