package tezos-protocol-environment

You can search for identifiers within the package.

in-package search v0.2.0

Interface layer between the protocols and the shell

Install

Dune Dependency

www.tezos.com Readme Edit opam file Versions (3)

Authors

T

Tezos devteam

Maintainers

C

contact@tezos.com

Sources

tezos-17.3.tar.gz

sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680

sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc

doc/tezos-protocol-environment.structs/Tezos_protocol_environment_structs/V5/Bounded/Int32/Make/index.html

Module `Int32.Make`Source

Produce a module _ : S of bounded integers.

If the given interval is empty, S.t is the empty type, and of_int32 returns Error for all inputs.

Encoding

(Make B).encoding is based on the underlying int32 encoding. This allow future compatiblity with larger bounds, at the price of addding 1-3 redundant bytes to each message.

Parameters

module _ : BOUNDS

Signature

type t

include BOUNDS

val min_int : int32

val max_int : int32

include Tezos_base.TzPervasives.Compare.S with type t := t

val (=) : t -> t -> bool

val (<>) : t -> t -> bool

val (<) : t -> t -> bool

val (<=) : t -> t -> bool

val (>=) : t -> t -> bool

val (>) : t -> t -> bool

val compare : t -> t -> int

val equal : t -> t -> bool

val max : t -> t -> t

val min : t -> t -> t

Sourceval encoding : t Data_encoding.t

Sourceval to_int32 : t -> int32

Sourceval of_int32 : int32 -> t option

On This Page

Encoding
Parameters
Signature