Up – bastet » Bastet__Verify » Ring

Module `Bastet__Verify.Ring`

Parameters

R : Bastet.Interface.RING

Signature

include sig ... end

module I : sig ... end

val additive_inverse : R.t -> bool