package tezos-protocol-009-PsFLoren

  1. Overview
  2. Docs
package tezos-protocol-009-PsFLoren
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 Level : sig ... end
module Fitness : sig ... end
module Nonce : sig ... end
module Seed : sig ... end
module Big_map : sig ... end
module Sapling : sig ... end
module Lazy_storage : sig ... end
module Contract : sig ... end
module Receipt : sig ... end
module Delegate : sig ... end
module Voting_period : sig ... end
module Vote : sig ... end
module Block_header : sig ... end
module Kind : sig ... end
type 'kind operation = {
  1. shell : Tezos_protocol_environment_009_PsFLoren.Operation.shell_header;
  2. protocol_data : 'kind protocol_data;
}
and 'kind protocol_data = {
  1. contents : 'kind contents_list;
  2. signature : Tezos_protocol_environment_009_PsFLoren.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
and _ contents =
  1. | Endorsement : {
    1. level : Raw_level.t;
    } -> Kind.endorsement contents
  2. | Seed_nonce_revelation : {
    1. level : Raw_level.t;
    2. nonce : Nonce.t;
    } -> Kind.seed_nonce_revelation contents
  3. | Endorsement_with_slot : {
    1. endorsement : Kind.endorsement operation;
    2. slot : int;
    } -> Kind.endorsement_with_slot contents
  4. | Double_endorsement_evidence : {
    1. op1 : Kind.endorsement operation;
    2. op2 : Kind.endorsement operation;
    3. slot : int;
    } -> Kind.double_endorsement_evidence contents
  5. | Double_baking_evidence : {
    1. bh1 : Block_header.t;
    2. bh2 : Block_header.t;
    } -> Kind.double_baking_evidence contents
  6. | Activate_account : {
    1. id : Tezos_protocol_environment_009_PsFLoren.Ed25519.Public_key_hash.t;
    2. activation_code : Blinded_public_key_hash.activation_code;
    } -> Kind.activate_account contents
  7. | Proposals : {
    1. source : Tezos_protocol_environment_009_PsFLoren.Signature.Public_key_hash.t;
    2. period : int32;
    3. proposals : Tezos_protocol_environment_009_PsFLoren.Protocol_hash.t list;
    } -> Kind.proposals contents
  8. | Ballot : {
    1. source : Tezos_protocol_environment_009_PsFLoren.Signature.Public_key_hash.t;
    2. period : int32;
    3. proposal : Tezos_protocol_environment_009_PsFLoren.Protocol_hash.t;
    4. ballot : Vote.ballot;
    } -> Kind.ballot contents
  9. | Failing_noop : string -> Kind.failing_noop contents
  10. | Manager_operation : {
    1. source : Tezos_protocol_environment_009_PsFLoren.Signature.Public_key_hash.t;
    2. fee : Tez.tez;
    3. counter : counter;
    4. operation : 'kind manager_operation;
    5. gas_limit : Gas.Arith.integral;
    6. storage_limit : Tezos_protocol_environment_009_PsFLoren.Z.t;
    } -> 'kind Kind.manager contents
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 included_endorsements : context -> int
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
module Parameters : sig ... end
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct