Bool.Internal
val bor_lookup : bool repr -> bool repr -> bool repr t
val xor_lookup : bool repr -> bool repr -> bool repr t
val band_lookup : bool repr -> bool repr -> bool repr t
val bnot_lookup : bool repr -> bool repr t