Module featurelite


Classes

UnificationFailure
Variable
_FORWARD

Functions

_apply_forwards
_apply_forwards_to_bindings
_copy_and_bind
_destructively_unify
_do_unify
_lookup_values
isMapping
show
test
unify
variable_constructor
variable_representer

Variables

__warningregistry__

[hide private]