Module Compare.Field

Parameters

• F : Interface.FIELD
• E : Interface.EQ with type t = F.t

Signature

val non_zero_multiplicative_inverse : F.t -> F.t -> bool