Trees       Indices       Help   
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()
   Trees       Indices       Help   
Generated by Epydoc 3.0beta1 on Sat Aug 4 01:33:48 2007 http://epydoc.sourceforge.net