package tezos-protocol-003-PsddFKi3

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module type BASIC_DATA = sig ... end
type t
type context = t
module Tez : sig ... end
module Period : sig ... end
module Timestamp : sig ... end
module Raw_level : sig ... end
module Cycle : sig ... end
module Gas : sig ... end
module Script_int : module type of Script_int_repr
module Script_timestamp : sig ... end
module Script : sig ... end
module Constants : sig ... end
module Voting_period : sig ... end
module Level : sig ... end
module Fitness : sig ... end
module Nonce : sig ... end
module Seed : sig ... end
module Contract : sig ... end
module Delegate : sig ... end
module Vote : sig ... end
module Block_header : sig ... end
module Kind : sig ... end
type 'kind operation = {
  1. shell : Tezos_protocol_environment_003_PsddFKi3.Operation.shell_header;
  2. protocol_data : 'kind protocol_data;
}
and 'kind protocol_data = {
  1. contents : 'kind contents_list;
  2. signature : Tezos_protocol_environment_003_PsddFKi3.Signature.t option;
}
and _ contents_list =
  1. | Single : 'kind contents -> 'kind contents_list
  2. | Cons : 'kind Kind.manager contents * 'rest Kind.manager contents_list -> ('kind * 'rest) Kind.manager contents_list
type 'kind internal_operation = {
  1. source : Contract.contract;
  2. operation : 'kind manager_operation;
  3. nonce : int;
}
type packed_manager_operation =
  1. | Manager : 'kind manager_operation -> packed_manager_operation
type packed_contents =
  1. | Contents : 'kind contents -> packed_contents
type packed_contents_list =
  1. | Contents_list : 'kind contents_list -> packed_contents_list
type packed_protocol_data =
  1. | Operation_data : 'kind protocol_data -> packed_protocol_data
type packed_internal_operation =
  1. | Internal_operation : 'kind internal_operation -> packed_internal_operation
val manager_kind : 'kind manager_operation -> 'kind Kind.manager
module Fees : sig ... end
module Operation : sig ... end
module Roll : sig ... end
module Commitment : sig ... end
module Bootstrap : sig ... end
module Global : sig ... end
val reset_internal_nonce : context -> context
val record_internal_nonce : context -> int -> context
val internal_nonce_already_recorded : context -> int -> bool
val get_fees : context -> Tez.t
val get_rewards : context -> Tez.t
val description : context Storage_description.t
OCaml

Innovation. Community. Security.