sig
  type t = bool
  val compare : bool -> bool -> int
  val equal : bool -> bool -> bool
  val hash : 'a -> int
  val gen : ?size:'a -> Random.State.t -> bool
  val to_string : bool -> string
end