Module Bastet__Verify.Field

Parameters

Signature

include sig ... end
val non_zero_multiplicative_inverse : F.t -> F.t -> bool