package tezos-protocol-environment

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

Module Bounded.Int32Source

Bounded int32.

Sourcemodule type BOUNDS = sig ... end

Bounds.

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

Produce a module _ : S of bounded integers.

Sourceval non_negative_of_legacy_non_negative : NonNegative.t -> Tezos_base.Bounded.Non_negative_int32.t
Sourceval legacy_non_negative_of_non_negative : Tezos_base.Bounded.Non_negative_int32.t -> NonNegative.t
OCaml

Innovation. Community. Security.