package tezos-protocol-010-PtGRANAD

  1. Overview
  2. Docs
package tezos-protocol-010-PtGRANAD
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Tezos_raw_protocol_010_PtGRANAD.Alpha_contextSource

Sourcemodule type BASIC_DATA = sig ... end
Sourcetype t
Sourcetype context = t
Sourcemodule Tez : sig ... end
Sourcemodule Period : sig ... end
Sourcemodule Timestamp : sig ... end
Sourcemodule Raw_level : sig ... end
Sourcemodule Cycle : sig ... end
Sourcemodule Gas : sig ... end
Sourcemodule Script_int : module type of Script_int_repr
Sourcemodule Script_timestamp : sig ... end
Sourcemodule Script : sig ... end
Sourcemodule Constants : sig ... end
Sourcemodule Level : sig ... end
Sourcemodule Fitness : sig ... end
Sourcemodule Nonce : sig ... end
Sourcemodule Seed : sig ... end
Sourcemodule Big_map : sig ... end
Sourcemodule Sapling : sig ... end
Sourcemodule Lazy_storage : sig ... end
Sourcemodule Contract : sig ... end
Sourcemodule Receipt : sig ... end
Sourcemodule Delegate : sig ... end
Sourcemodule Voting_period : sig ... end
Sourcemodule Vote : sig ... end
Sourcemodule Block_header : sig ... end
Sourcemodule Kind : sig ... end
Sourcetype 'kind operation = {
  1. shell : Tezos_protocol_environment_010_PtGRANAD.Operation.shell_header;
  2. protocol_data : 'kind protocol_data;
}
Sourceand 'kind protocol_data = {
  1. contents : 'kind contents_list;
  2. signature : Tezos_protocol_environment_010_PtGRANAD.Signature.t option;
}
Sourceand _ 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
Sourceand _ 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_010_PtGRANAD.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_010_PtGRANAD.Signature.Public_key_hash.t;
    2. period : int32;
    3. proposals : Tezos_protocol_environment_010_PtGRANAD.Protocol_hash.t list;
    } -> Kind.proposals contents
  8. | Ballot : {
    1. source : Tezos_protocol_environment_010_PtGRANAD.Signature.Public_key_hash.t;
    2. period : int32;
    3. proposal : Tezos_protocol_environment_010_PtGRANAD.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_010_PtGRANAD.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_010_PtGRANAD.Z.t;
    } -> 'kind Kind.manager contents
Sourcetype 'kind internal_operation = {
  1. source : Contract.contract;
  2. operation : 'kind manager_operation;
  3. nonce : int;
}
Sourcetype packed_manager_operation =
  1. | Manager : 'kind manager_operation -> packed_manager_operation
Sourcetype packed_contents =
  1. | Contents : 'kind contents -> packed_contents
Sourcetype packed_contents_list =
  1. | Contents_list : 'kind contents_list -> packed_contents_list
Sourcetype packed_protocol_data =
  1. | Operation_data : 'kind protocol_data -> packed_protocol_data
Sourcetype packed_internal_operation =
  1. | Internal_operation : 'kind internal_operation -> packed_internal_operation
Sourceval manager_kind : 'kind manager_operation -> 'kind Kind.manager
Sourcemodule Fees : sig ... end
Sourcemodule Operation : sig ... end
Sourcemodule Roll : sig ... end
Sourcemodule Commitment : sig ... end
Sourcemodule Bootstrap : sig ... end
Sourcemodule Global : sig ... end
Sourceval max_operations_ttl : int
Sourcemodule Migration : sig ... end
Sourceval included_endorsements : context -> int
Sourceval reset_internal_nonce : context -> context
Sourceval record_internal_nonce : context -> int -> context
Sourceval internal_nonce_already_recorded : context -> int -> bool
Sourceval get_fees : context -> Tez.t
Sourceval get_rewards : context -> Tez.t
Sourcemodule Parameters : sig ... end
Sourcemodule Liquidity_baking : 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