Module Extensions.Bools

val tag : Tag.t
val btrue : Ty.t
val bfalse : Ty.t
val bool : bool -> Ty.t
val any : Ty.t
type t = {
  1. t : bool;
  2. f : bool;
}
val any_t : t
val empty_t : t
val neg_t : t -> t
val components : t -> bool list
type printer = int -> Prec.assoc -> Stdlib.Format.formatter -> t -> unit
val print : printer
val printer_params : printer -> Printer.params
val printer_params' : Printer.params