module type Elt = sig .. end
sig
end
type t
val equal : t -> t -> bool
t -> t -> bool
of_bool
t
of_bool false <> of_bool true
val of_bool : bool -> t
bool -> t