package tezos-base

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module TzPervasives.ZnzSource

Sourcemodule type ZN = sig ... end

Type for a module representing the ℤ/nℤ ring

Sourcemodule type INT = sig ... end

Type of a module wrapping an integer.

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

Functor to build the ℤ/nℤ ring given n

OCaml

Innovation. Community. Security.