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

signature BASIS_NONE =
   sig
      (* Top-level types *)
      eqtype 'a array
      datatype bool = datatype BasisExtra.bool
      eqtype char
      type exn
      eqtype int 
      datatype list = datatype BasisExtra.list
      datatype ref = datatype BasisExtra.ref
      type real
      eqtype string
      type substring 
      eqtype unit
      eqtype 'a vector
      eqtype word 

      exception Bind
      exception Match
      exception Overflow

      val = : ''a * ''a -> bool
      val <> : ''a * ''a -> bool
   end
Commit	Line	Data
7f918cf1 CE	1	signature BASIS_NONE =
	2	sig
	3	(* Top-level types *)
	4	eqtype 'a array
	5	datatype bool = datatype BasisExtra.bool
	6	eqtype char
	7	type exn
	8	eqtype int
	9	datatype list = datatype BasisExtra.list
	10	datatype ref = datatype BasisExtra.ref
	11	type real
	12	eqtype string
	13	type substring
	14	eqtype unit
	15	eqtype 'a vector
	16	eqtype word
	17
	18	exception Bind
	19	exception Match
	20	exception Overflow
	21
	22	val = : ''a * ''a -> bool
	23	val <> : ''a * ''a -> bool
	24	end