package tezos-protocol-environment

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

Bounded int32.

module type BOUNDS = sig ... end

Bounds.

module type S = sig ... end
module Make (_ : BOUNDS) : S

Produce a module _ : S of bounded integers.

module NonNegative : S
OCaml

Innovation. Community. Security.