module Bool: sig .. end
sig
end
type t = bool
bool
include Comparable
include Hashable
include Setable
include Sexpable
include Stringable
val not : t -> t
t -> t
val of_int : int -> t
int -> t
val to_int : t -> int
t -> int