Module Bool.InternalSource

Sourceval bor_lookup : bool repr -> bool repr -> bool repr t
Sourceval xor_lookup : bool repr -> bool repr -> bool repr t
Sourceval band_lookup : bool repr -> bool repr -> bool repr t
Sourceval bnot_lookup : bool repr -> bool repr t