Package transf :: Package lib :: Module _common
[frames] | no frames]

Module _common



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

Classes
  Appl
  ApplCons
  Annos
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)