Module featurelite


Classes

FeatureI
UnificationFailure
Variable
_FORWARD

Functions

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

[hide private]