Up – bastet » Bastet__Verify » Compare » Ring

Module `Compare.Ring`

Parameters

R : Bastet.Interface.RING
E : Bastet.Interface.EQ with type t = R.t

Signature

module I : sig ... end

val additive_inverse : R.t -> bool