module Bool: sig .. end
sig
end
The field with two elements.
include Ring.Bool
val inv : t -> t
t -> t