Verify.Field
F : Interface.FIELD
include sig ... end
val non_zero_multiplicative_inverse : F.t -> F.t -> bool