next up previous contents
Next: Providing logic and equality Up: Basic Library Files Previous: Basic Library Files

Parameters

  

 ** Module parameters
  SET = ... : Type
  TYPE = ... : Type
  TYPE_minus1 = ... : TYPE
  TYPE_minus2 = ... : TYPE_minus1


Lego
Fri May 24 19:01:27 BST 1996