package tezos-protocol-015-PtLimaPt

  1. Overview
  2. Docs
Tezos/Protocol: economic-protocol definition

Install 

dune-project
 Dependency

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

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-16.1.tar.gz
sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7
sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f

doc/tezos-protocol-015-PtLimaPt.raw/Tezos_raw_protocol_015_PtLimaPt/Alpha_context/Round/index.html

Module Alpha_context.RoundSource

This module re-exports definitions from Round_repr.

Sourcetype t
Sourceval zero : t
Sourceval succ : t -> t
Sourceval to_int32 : t -> int32
include Tezos_protocol_environment_015_PtLimaPt.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
Sourcetype round_durations

See Round_repr.Durations.t.

See Round_repr.Durations.pp.

See Round_repr.Durations.encoding.

Sourceval round_duration : round_durations -> t -> Period.t

See Round_repr.Durations.round_duration.

Sourcemodule Durations : sig ... end