TypeDD

DATE : July 2001
AUTHOR : underdarkPrime
ADDRESS : underdarkPrime@yahoo.com

Index


  1. Type


Type


datatype Type =

	  TyVar  of string

	| TyCons of string * Type list

Representation of a simple type expression language. TyVar a represents a type variable a. TyCons (c,tys) represents a type contructor c.
Example:
  1. TyCons ("int",[])
    represents the type int.

  2. TyCons ("fun", [TyVar "a", TyCons ("int",[])])
    represents the type a->int


Generated by mosmldoc --underdarkPrime