プログラミング言語SML#解説 3.7.1版
26 Standard ML標準ライブラリ

26.6 BOOL

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

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

シグネチャを実装するストラクチャ

  • Bool : BOOL