package tezos-protocol-003-PsddFKi3

You can search for identifiers within the package.

in-package search v0.2.0

Tezos/Protocol: 003_PsddFKi3 (economic-protocol definition, functor version)

Install

sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7

sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f

Sourceval current : Raw_context.t -> Level_repr.t

Sourceval previous : Raw_context.t -> Level_repr.t

Sourceval root : Raw_context.t -> Level_repr.t

val from_raw : 
  Raw_context.t ->
  ?offset:int32 ->
  Raw_level_repr.t ->
  Level_repr.t

Sourceval pred : Raw_context.t -> Level_repr.t -> Level_repr.t option

Sourceval succ : Raw_context.t -> Level_repr.t -> Level_repr.t

Sourceval first_level_in_cycle : Raw_context.t -> Cycle_repr.t -> Level_repr.t

Sourceval last_level_in_cycle : Raw_context.t -> Cycle_repr.t -> Level_repr.t

Sourceval levels_in_cycle : Raw_context.t -> Cycle_repr.t -> Level_repr.t list

val levels_in_current_cycle : 
  Raw_context.t ->
  ?offset:int32 ->
  unit ->
  Level_repr.t list

val levels_with_commitments_in_cycle : 
  Raw_context.t ->
  Cycle_repr.t ->
  Level_repr.t list

Sourceval last_allowed_fork_level : Raw_context.t -> Raw_level_repr.t