Index of values

C
check [Untyped_unify]
compare [Untyped_unify]
G
get_id [Untyped_unify]
S
show [Untyped_unify]	A printer for values that may contain variables.
shows [Untyped_unify]	A printer for substitutions.
U
unify [Untyped_unify]
V
v [Untyped_unify]