package tezos-protocol-003-PsddFKi3

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

Basic roll manipulation.

If storage related to roll (a.k.a. `Storage.Roll`) are not used outside of this module, this interface enforces the invariant that a roll is always either in the limbo list or in a contract list.

type Tezos_protocol_environment_003_PsddFKi3.Error_monad.error +=
  1. | Consume_roll_change
  2. | No_roll_for_delegate
  3. | No_roll_snapshot_for_cycle of Cycle_repr.t
  4. | Unregistered_delegate of Tezos_protocol_environment_003_PsddFKi3.Signature.Public_key_hash.t
module Delegate : sig ... end
module Contract : sig ... end
OCaml

Innovation. Community. Security.