Module Compare.Field

Parameters

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

Signature

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