It provide boolean data type and its primitives.

signature BOOL =
sig
  type bool = bool
  val fromString : string -> bool option
  val not : bool -> bool
  val scan : (char, ’a) StringCvt.reader -> (bool, ’a) StringCvt.reader
  val toString : bool -> string
end