module Bool: sig .. end
sig
end
type t = bool
bool
include Comparable
include Hashable
include Sexpable
include Binable
include Stringable