Verify.Division_Ring
R : Interface.DIVISION_RING
include sig ... end
module I : sig ... end
val non_zero_ring : bool
val multiplicative_inverse : R.t -> bool