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

Module build



Term building transformations.

The transformations in this module build new terms from scratch, without taking in consideration the input term.

Classes
  Appl
  ApplCons
  Annos
Functions
 
Term(term)
 
Int(value)
 
Real(value)
 
Str(value)
 
Nil()
 
ConsL(head, tail)
 
ConsR(head, tail)
 
Cons(head, tail)
 
List(elms, tail=None)
 
Var(var)
Variables
  zero = Int(0)
  one = Int(1)
  two = Int(2)
  three = Int(3)
  four = Int(4)
  empty = Str("")
  nil = Nil()