module B: sig .. end
sig
end
type t = bool
bool
val to_string : bool -> string
bool -> string
val pretty : Format.formatter -> bool -> unit
Format.formatter -> bool -> unit
val hash : 'a -> int
'a -> int
val compare : 'a -> 'a -> int
'a -> 'a -> int
module Datatype: Datatype.Bool
Datatype.Bool