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
]