Module featurelite


Classes

FeatureI
SubstituteBindingsI
SubstituteBindingsMixin
UnificationFailure
Variable
_FORWARD

Functions

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

[hide private]