Lib.Bool
type scalar = scalar
type 'a repr = 'a repr
type 'a t = 'a t
val band : bool repr -> bool repr -> bool repr t
val xor : bool repr -> bool repr -> bool repr t
val bor : bool repr -> bool repr -> bool repr t
val bnot : bool repr -> bool repr t
val ifthenelse : bool repr -> 'a repr -> 'a repr -> 'a repr t
val swap : bool repr -> 'a repr -> 'a repr -> ('a * 'a) repr t
val assert_true : bool repr -> unit repr t
val assert_false : bool repr -> unit repr t
val constant : bool -> bool repr t
val band_list : bool repr list -> bool repr t
module Internal : sig ... end
val full_adder : bool repr -> bool repr -> bool repr -> (bool * bool) repr t