Module `Bastet__Verify.Division_Ring`

Parameters

R : Bastet.Interface.DIVISION_RING

Signature

include sig ... end

module I : sig ... end

val non_zero_ring : bool
val multiplicative_inverse : R.t -> bool