真理値データ型と基本演算を提供．

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