Module Tezos_crypto.Znz

module type ZN = sig ... end

Type for a module representing the ā„¤/nā„¤ ring

module type INT = sig ... end

Type of a module wrapping an integer.

module MakeZn (N : INT) (B : sig ... end) : ZN

Functor to build the ā„¤/nā„¤ ring given n