alice
library
manual.

The `Bool` structure

^Synopsis^{____________________________________________}

    signature BOOL
    structure Bool : BOOL

An extended version of the Standard ML Basis' Bool structure.

The type bool and its constructors, as well as the function not are available in the top-level environment.

^Import^{______________________________________________}

Imported implicitly.

^Interface^{___________________________________________}

    signature BOOL =
    sig
	datatype bool = false | true
	type     t    = bool

	val equal :      bool * bool -> bool
	val compare :    bool * bool -> order

	val not :        bool -> bool

	val toString :   bool -> string
	val fromString : string -> bool option
	val scan :       (char,'a) StringCvt.reader -> (bool,'a) StringCvt.reader
    end

^Description^{_________________________________________}

Items not described here are as in the Standard ML Basis' Bool structure.

type t = bool: A local synonym for type bool.
equal (b1, b2): An explicit equality function on bools. Equivalent to op=.
compare (b1, b2): An ordering function on bools. It defines false < true.

last modified 2007/Mar/30 17:10

alice library manual.

The Bool structure

________ Synopsis ____________________________________________________

________ Import ______________________________________________________