[hcoop/debian/mlton.git] / basis-library / general / bool.sig

signature BOOL_GLOBAL =
   sig
      datatype bool = datatype bool

      val not: bool -> bool
   end

signature BOOL =
   sig
      include BOOL_GLOBAL

      val fromString: string -> bool option 
      val scan: (char, 'a) StringCvt.reader -> (bool, 'a) StringCvt.reader
      val toString: bool -> string
   end
Commit	Line	Data
7f918cf1 CE	1	signature BOOL_GLOBAL =
	2	sig
	3	datatype bool = datatype bool
	4
	5	val not: bool -> bool
	6	end
	7
	8	signature BOOL =
	9	sig
	10	include BOOL_GLOBAL
	11
	12	val fromString: string -> bool option
	13	val scan: (char, 'a) StringCvt.reader -> (bool, 'a) StringCvt.reader
	14	val toString: bool -> string
	15	end