Package transf :: Package lib :: Module _common

Module _common

Common code for term matching, building, and congruent traversal transformations.

Functions

Term(term, _Term)

Int(value, _Term)

Real(value, _Term)

Str(value, _Term)

Nil(_Term)

Cons(head, tail, _Cons, _Term)

List(elms, tail, Cons, nil)