Virtual.Bool
type t = bool
val true_ : bool
val assert_ : 'a -> unit
val equal : Core_kernel.Bool.t -> Core_kernel.Bool.t -> bool
val not : bool -> bool
val (||) : bool -> bool -> bool
val (&&) : bool -> bool -> bool