Package transf :: Package lib :: Module congruent

[frames] | no frames]

Module congruent

Congruent term transformations.

Classes
	Appl Traverse a term application.
	ApplCons Traverse a term application.
	Annos
	Subterms Congruent transformation of subterms.

Functions

ConsL(head, tail)

ConsR(head, tail)

Cons(head, tail)

List(elms, tail=None)

Var(var)

Anno(anno)