[hcoop/debian/mlton.git] / basis-library / libs / basis-2002 / top-level / basis-types.sig

signature BASIS_2002_TYPES =
   sig
      (* Top-level types *)
      eqtype 'a array
      datatype bool = datatype bool
      eqtype char
      type exn
      eqtype int 
      datatype 'a option = NONE | SOME of 'a 
      datatype order = LESS | EQUAL | GREATER 
      datatype list = datatype list
      datatype ref = datatype ref
      type real
      eqtype string
      type substring 
      eqtype unit
      eqtype 'a vector
      eqtype word 
   end
Commit	Line	Data
7f918cf1 CE	1	signature BASIS_2002_TYPES =
	2	sig
	3	(* Top-level types *)
	4	eqtype 'a array
	5	datatype bool = datatype bool
	6	eqtype char
	7	type exn
	8	eqtype int
	9	datatype 'a option = NONE \| SOME of 'a
	10	datatype order = LESS \| EQUAL \| GREATER
	11	datatype list = datatype list
	12	datatype ref = datatype ref
	13	type real
	14	eqtype string
	15	type substring
	16	eqtype unit
	17	eqtype 'a vector
	18	eqtype word
	19	end