package octez-protocol-018-Proxford-libs

You can search for identifiers within the package.

in-package search v0.2.0

octez-protocol-018-Proxford-libs.baking
- Tezos_baking_018_Proxford
octez-protocol-018-Proxford-libs.baking-commands
- Tezos_baking_018_Proxford_commands
  - Baking_commands
octez-protocol-018-Proxford-libs.baking-commands.registration
- Tezos_baking_018_Proxford_commands_registration
  - Baking_commands_registration
octez-protocol-018-Proxford-libs.baking.tenderbrute
- Tenderbrute_018_Proxford
  - Tenderbrute
octez-protocol-018-Proxford-libs.bakings.mockup-simulator
- Tezos_018_Proxford_mockup_simulator
octez-protocol-018-Proxford-libs.client
- Tezos_client_018_Proxford
octez-protocol-018-Proxford-libs.client.commands
- Tezos_client_018_Proxford_commands
octez-protocol-018-Proxford-libs.client.commands-registration
- Tezos_client_018_Proxford_commands_registration
  - Alpha_commands_registration
octez-protocol-018-Proxford-libs.client.sapling
- Tezos_client_sapling_018_Proxford
octez-protocol-018-Proxford-libs.dac
- Tezos_dac_018_Proxford
  - Dac_plugin_registration
    
    Make
    
    Mapper
    
    Proto
    
    Mempool
octez-protocol-018-Proxford-libs.dal
- Tezos_dal_018_Proxford
  - Dal_plugin_registration
    
    Plugin
  - Dal_slot_frame_encoding
    
    Rollups_map
    
    Slot_version
    
    V0
    
    Internal
octez-protocol-018-Proxford-libs.layer2-utils
- Tezos_layer2_utils_018_Proxford
  - Layer1_services
octez-protocol-018-Proxford-libs.plugin
- Tezos_protocol_plugin_018_Proxford
  - Mempool
    
    Conflict_map
    
    Internal_for_tests
  - Metrics_plugin
  - Plugin
  - Plugin_errors
  - RPC
    
    Attestation_rights
    
    S
    
    Baking_rights
    
    S
    
    Big_map
    
    S
    
    Contract
    
    S
    
    Dal
    
    S
    
    Forge
    
    Manager
    
    S
    
    Parse
    
    S
    
    Registration
    
    S
    
    Sc_rollup
    
    S
    
    Scripts
    
    Normalize_stack
    
    S
    
    Traced_interpreter
    
    Unparsing_mode
    
    UNPARSING_MODE
    
    Unparse_types
    
    Staking
    
    S
    
    Validators
    
    S
  - Script_interpreter_logging
    
    Logger_base
  - View_helpers
octez-protocol-018-Proxford-libs.plugin-registerer
- Tezos_protocol_plugin_018_Proxford_registerer
  - Plugin_registerer
    
    Metrics
    
    RPC
    
    Validation
octez-protocol-018-Proxford-libs.smart-rollup
- Tezos_smart_rollup_018_Proxford
  - Context_helpers
    
    In_memory
    
    Tree
  - Game_helpers
    
    Wasm
  - Pvm_in_memory
    
    Arith
    
    Internal_for_tests
    
    S
    
    Internal_for_tests
    
    Wasm
    
    Internal_for_tests
octez-protocol-018-Proxford-libs.smart-rollup-layer2
- Tezos_smart_rollup_layer2_018_Proxford
  - Sc_rollup_proto_types
    
    Address
    
    Commitment
    
    Commitment_hash
    
    Constants
    
    Dal
    
    Page_index
    
    Slot_header
    
    Slot_history
    
    Slot_history_cache
    
    Slot_index
    
    Game
    
    Inbox
    
    Inbox_hash
    
    Kind
    
    Merkelized_payload_hashes_hash
    
    State_hash
  - Sc_rollup_services
    
    Block
    
    Helpers
    
    Encodings
    
    Query
octez-protocol-018-Proxford-libs.test-helpers
- Tezos_018_Proxford_test_helpers
  - Account
  - Adaptive_issuance_helpers
    
    CycleMap
    
    Frozen_tez
    
    Partial_tez
    
    Tez
    
    Unstaked_finalizable
    
    Unstaked_frozen
  - Assert
    
    Int32
    
    Int64
  - Big_map_helpers
  - Block
    
    Forge
  - Consensus_helpers
  - Context
    
    Contract
    
    Delegate
    
    Sc_rollup
    
    Vote
  - Contract_helpers
  - Cpmm_logic
    
    Simulate
    
    Simulate_raw
  - Cpmm_repr
    
    Parameter
    
    Storage
  - Dal_helpers
    
    Make
    
    P
  - Dummy_zk_rollup
    
    Bound
    
    Bounded
    
    Encoding
    
    L
    
    Anemoi
    
    Bool
    
    Internal
    
    Bytes
    
    Ecc
    
    Encodings
    
    Enum
    
    N
    
    Input
    
    Limb
    
    N
    
    Limbs
    
    N
    
    Mod_arith
    
    Num
    
    Poseidon
    
    VL
    
    P
    
    V
    
    L
    
    Anemoi
    
    Bool
    
    Internal
    
    Bytes
    
    Ecc
    
    Encodings
    
    Enum
    
    N
    
    Input
    
    Limb
    
    N
    
    Limbs
    
    N
    
    Mod_arith
    
    Num
    
    Poseidon
    
    Operator
    
    Internal_for_tests
    
    Params
    
    Types
    
    Encodings
    
    Bounded_e
    
    VL
    
    L
    
    Anemoi
    
    Bool
    
    Internal
    
    Bytes
    
    Ecc
    
    Encodings
    
    Enum
    
    N
    
    Input
    
    Limb
    
    N
    
    Limbs
    
    N
    
    Mod_arith
    
    Num
    
    Poseidon
    
    P
    
    Dummy
    
    V
    
    Bounded_u
    
    L
    
    Anemoi
    
    Bool
    
    Internal
    
    Bytes
    
    Ecc
    
    Encodings
    
    Enum
    
    N
    
    Input
    
    Limb
    
    N
    
    Limbs
    
    N
    
    Mod_arith
    
    Num
    
    Poseidon
    
    V
    
    E
    
    Bounded_e
    
    VL
    
    L
    
    Anemoi
    
    Bool
    
    Internal
    
    Bytes
    
    Ecc
    
    Encodings
    
    Enum
    
    N
    
    Input
    
    Limb
    
    N
    
    Limbs
    
    N
    
    Mod_arith
    
    Num
    
    Poseidon
  - Expr
  - Expr_common
  - Incremental
  - Liquidity_baking_generator
  - Liquidity_baking_machine
    
    ConcreteMachine
    
    SymbolicMachine
    
    ValidationMachine
    
    Concrete
    
    Symbolic
  - Lqt_fa12_repr
    
    Parameter
    
    Storage
  - Lwt_result_wrap_syntax
  - Merkle_list_helper
    
    Hash
    
    Map
    
    Set
    
    ML
    
    Internal_for_tests
  - Nonce
  - Op
  - Operation_generator
    
    Gen_hash
    
    H
  - Result_wrap_syntax
  - Rewards
  - Sapling_helpers
    
    Alpha_context_helpers
    
    Common
    
    Interpreter_helpers
  - Sc_rollup_helpers
    
    Arith_pvm_eval
    
    Internal_for_tests
    
    Make_PVM_eval
    
    Internal_for_tests
    
    PVM
    
    Internal_for_tests
    
    Make_in_memory_context
    
    Context
    
    Proof
    
    Tree
    
    Tree
    
    Node_inbox
    
    PVM_eval
    
    Internal_for_tests
    
    Payloads_histories
    
    Protocol_inbox
    
    Protocol_inbox_with_ctxt
    
    Wasm_pvm_eval
    
    Internal_for_tests
    
    Wrong_arith_pvm
    
    Internal_for_tests
    
    Wrong_in_memory_context
    
    Tree
  - Script_big_map
  - Script_map
  - Script_set
  - Test_global_constants
    
    Generators
  - Test_tez
  - Testable
  - Ticket_helpers
  - Transfers
  - Zk_rollup_l2_helpers

Legend:
Library
Module
Module type
Parameter
Class
Class type

val entrypoint_parameter : 
  (Tezos_protocol_018_Proxford.Protocol.Alpha_context.Entrypoint.t,
    Protocol_client_context.full)
    Tezos_clic.parameter

val init_arg : (string, Protocol_client_context.full) Tezos_clic.arg

val fee_arg : 
  (Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.t option,
    Protocol_client_context.full)
    Tezos_clic.arg

val default_fee_arg : 
  (Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.t option,
    Protocol_client_context.full)
    Tezos_clic.arg

val counter_arg : 
  (Tezos_protocol_018_Proxford.Protocol.Alpha_context.Manager_counter.t option,
    Protocol_client_context.full)
    Tezos_clic.arg

val gas_limit_arg : 
  (Tezos_protocol_018_Proxford.Protocol.Alpha_context.Gas.Arith.integral option,
    Protocol_client_context.full)
    Tezos_clic.arg

val default_gas_limit_arg : 
  (Tezos_protocol_018_Proxford.Protocol.Alpha_context.Gas.Arith.integral option,
    Protocol_client_context.full)
    Tezos_clic.arg

val run_gas_limit_arg : 
  (Tezos_protocol_018_Proxford.Protocol.Alpha_context.Gas.Arith.integral option,
    Protocol_client_context.full)
    Tezos_clic.arg

val unlimited_gas_arg : (bool, Protocol_client_context.full) Tezos_clic.arg

val storage_limit_arg : 
  (Z.t option, Protocol_client_context.full) Tezos_clic.arg

val default_storage_limit_arg : 
  (Z.t option, Protocol_client_context.full) Tezos_clic.arg

val arg_arg : (string option, Protocol_client_context.full) Tezos_clic.arg

val default_arg_arg : 
  (string option, Protocol_client_context.full) Tezos_clic.arg

val source_arg : (string option, Protocol_client_context.full) Tezos_clic.arg

val entrypoint_arg : 
  (Tezos_protocol_018_Proxford.Protocol.Alpha_context.Entrypoint.t option,
    Protocol_client_context.full)
    Tezos_clic.arg

val default_entrypoint_arg : 
  (Tezos_protocol_018_Proxford.Protocol.Alpha_context.Entrypoint.t option,
    Protocol_client_context.full)
    Tezos_clic.arg

val delegate_arg : 
  (Tezos_base.TzPervasives.Signature.Public_key_hash.t option,
    Protocol_client_context.full)
    Tezos_clic.arg

val max_priority_arg : 
  (int option, Protocol_client_context.full) Tezos_clic.arg

val minimal_fees_arg : 
  (Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.tez,
    Protocol_client_context.full)
    Tezos_clic.arg

val minimal_nanotez_per_gas_unit_arg : 
  (Q.t, Protocol_client_context.full) Tezos_clic.arg

val minimal_nanotez_per_byte_arg : 
  (Q.t, Protocol_client_context.full) Tezos_clic.arg

val replace_by_fees_arg : (bool, Protocol_client_context.full) Tezos_clic.arg

val successor_level_arg : (bool, Protocol_client_context.full) Tezos_clic.arg

val force_switch : (bool, Protocol_client_context.full) Tezos_clic.arg

val minimal_timestamp_switch : 
  (bool, Protocol_client_context.full) Tezos_clic.arg

val preserved_levels_arg : (int, Protocol_client_context.full) Tezos_clic.arg

val no_print_source_flag : (bool, Protocol_client_context.full) Tezos_clic.arg

val no_confirmation : (bool, Protocol_client_context.full) Tezos_clic.arg

val timelock_locked_value_arg : 
  (string option, Protocol_client_context.full) Tezos_clic.arg

val tez_arg : 
  default:string ->
  parameter:string ->
  doc:string ->
  (Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.t,
    Protocol_client_context.full)
    Tezos_clic.arg

val tez_opt_arg : 
  parameter:string ->
  doc:string ->
  (Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.t option,
    Protocol_client_context.full)
    Tezos_clic.arg

val tez_param : 
  name:string ->
  desc:string ->
  ('a, Protocol_client_context.full) Tezos_clic.params ->
  (Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.t ->
    'a,
    Protocol_client_context.full)
    Tezos_clic.params

val everything_or_tez_param : 
  name:string ->
  desc:string ->
  ('a, Protocol_client_context.full) Tezos_clic.params ->
  (Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.t ->
    'a,
    Protocol_client_context.full)
    Tezos_clic.params

val non_negative_z_parameter : 
  unit ->
  (Z.t, Tezos_client_base.Client_context.io) Tezos_clic.parameter

val non_negative_z_param : 
  name:string ->
  desc:string ->
  ('a, Tezos_client_base.Client_context.io as 'b) Tezos_clic.params ->
  (Z.t -> 'a, 'b) Tezos_clic.params

val non_negative_parameter : 
  unit ->
  (int, Tezos_client_base.Client_context.io) Tezos_clic.parameter

val non_negative_param : 
  name:string ->
  desc:string ->
  ('a, Tezos_client_base.Client_context.io as 'b) Tezos_clic.params ->
  (int -> 'a, 'b) Tezos_clic.params

val positive_int_parameter : 
  unit ->
  (int, Tezos_client_base.Client_context.io) Tezos_clic.parameter

val positive_int_param : 
  name:string ->
  desc:string ->
  ('a, Tezos_client_base.Client_context.io as 'b) Tezos_clic.params ->
  (int -> 'a, 'b) Tezos_clic.params

val global_constant_param : 
  name:string ->
  desc:string ->
  ('a, Protocol_client_context.full) Tezos_clic.params ->
  (string -> 'a, Protocol_client_context.full) Tezos_clic.params

val signature_parameter : 
  (Tezos_base.TzPervasives.Signature.t, Protocol_client_context.full)
    Tezos_clic.parameter

val int_parameter : (int, Protocol_client_context.full) Tezos_clic.parameter

val z_parameter : (Z.t, Protocol_client_context.full) Tezos_clic.parameter

val uri_parameter : (Uri.t, Protocol_client_context.full) Tezos_clic.parameter

val string_parameter : 
  (string, Protocol_client_context.full) Tezos_clic.parameter

val bytes_of_prefixed_string : 
  Protocol_client_context.full ->
  string ->
  Tezos_base.TzPervasives.Bytes.t Tezos_base.TzPervasives.tzresult Lwt.t

val bytes_parameter : 
  (Tezos_base.TzPervasives.Bytes.t, Protocol_client_context.full)
    Tezos_clic.parameter

type 'a file_or_text =

| File of {
1. path : string;
2. content : 'a;
}
| Text of 'a

val content_of_file_or_text : 'a file_or_text -> 'a

val file_or_text : 
  from_text:(string -> 'a Tezos_base.TzPervasives.tzresult Lwt.t) ->
  read_file:(string -> string Tezos_base.TzPervasives.tzresult Lwt.t) ->
  string ->
  'a file_or_text Tezos_base.TzPervasives.tzresult Lwt.t

val file_or_text_with_origin_parameter : 
  from_text:
    (Protocol_client_context.full ->
      string ->
      'a Tezos_base.TzPervasives.tzresult Lwt.t) ->
  unit ->
  ('a file_or_text, Protocol_client_context.full) Tezos_clic.parameter

val file_or_text_parameter : 
  from_text:
    (Protocol_client_context.full ->
      string ->
      'a Tezos_base.TzPervasives.tzresult Lwt.t) ->
  unit ->
  ('a, Protocol_client_context.full) Tezos_clic.parameter

val json_with_origin_parameter : 
  (Tezos_base.TzPervasives.Data_encoding.Json.t file_or_text,
    Protocol_client_context.full)
    Tezos_clic.parameter

val safe_decode_json : 
  Protocol_client_context.full ->
  name:string ->
  ?pp_error:
    (Tezos_base.TzPervasives.Data_encoding.json ->
      Stdlib.Format.formatter ->
      exn ->
      unit) ->
  'a Tezos_base.TzPervasives.Data_encoding.t ->
  Tezos_base.TzPervasives.Data_encoding.json ->
  'a Tezos_base.TzPervasives.tzresult Lwt.t

val json_encoded_with_origin_parameter : 
  name:string ->
  ?pp_error:
    (Tezos_base.TzPervasives.Data_encoding.json ->
      Stdlib.Format.formatter ->
      exn ->
      unit) ->
  'a Tezos_base.TzPervasives.Data_encoding.t ->
  ('a file_or_text, Protocol_client_context.full) Tezos_clic.parameter

val json_encoded_parameter : 
  name:string ->
  ?pp_error:
    (Tezos_base.TzPervasives.Data_encoding.json ->
      Stdlib.Format.formatter ->
      exn ->
      unit) ->
  'a Tezos_base.TzPervasives.Data_encoding.t ->
  ('a, Protocol_client_context.full) Tezos_clic.parameter

val json_encoded_param : 
  name:string ->
  desc:string ->
  ?pp_error:
    (Tezos_base.TzPervasives.Data_encoding.json ->
      Stdlib.Format.formatter ->
      exn ->
      unit) ->
  'b Tezos_base.TzPervasives.Data_encoding.t ->
  ('a, Protocol_client_context.full) Tezos_clic.params ->
  ('b -> 'a, Protocol_client_context.full) Tezos_clic.params

val json_parameter : 
  (Tezos_base.TzPervasives.Data_encoding.Json.t, Protocol_client_context.full)
    Tezos_clic.parameter

val data_parameter : 
  (Michelson_v1_parser.parsed, Protocol_client_context.full)
    Tezos_clic.parameter

val raw_level_parameter : 
  unit ->
  (Tezos_protocol_018_Proxford.Protocol.Alpha_context.Raw_level.t,
    Tezos_client_base.Client_context.io)
    Tezos_clic.parameter

val raw_level_param : 
  name:string ->
  desc:string ->
  ('a, Tezos_client_base.Client_context.io as 'b) Tezos_clic.params ->
  (Tezos_protocol_018_Proxford.Protocol.Alpha_context.Raw_level.t -> 'a, 'b)
    Tezos_clic.params

val micheline_parameter : 
  (Tezos_micheline.Micheline_parser.node * string,
    Protocol_client_context.full)
    Tezos_clic.parameter

val unparsing_mode_arg : 
  default:string ->
  (Tezos_protocol_018_Proxford.Protocol.Script_ir_unparser.unparsing_mode,
    Protocol_client_context.full)
    Tezos_clic.arg

val enforce_indentation_flag : 
  (bool, Protocol_client_context.full) Tezos_clic.arg

val display_names_flag : (bool, Protocol_client_context.full) Tezos_clic.arg

val level_arg : 
  (Tezos_protocol_018_Proxford.Protocol.Script_int.n
     Tezos_protocol_018_Proxford.Protocol.Script_int.num
     option,
    Protocol_client_context.full)
    Tezos_clic.arg

val now_arg : 
  (Tezos_protocol_018_Proxford.Protocol.Script_timestamp.t option,
    Protocol_client_context.full)
    Tezos_clic.arg

val limit_of_staking_over_baking_millionth_arg : 
  (int option, Protocol_client_context.full) Tezos_clic.arg

val edge_of_baking_over_staking_billionth_arg : 
  (int option, Protocol_client_context.full) Tezos_clic.arg

val other_contracts_arg : 
  (Tezos_protocol_plugin_018_Proxford.RPC.Scripts.S.other_contract_description
     list
     option,
    Protocol_client_context.full)
    Tezos_clic.arg

val extra_big_maps_arg : 
  (Tezos_protocol_plugin_018_Proxford.RPC.Scripts.S.extra_big_map_description
     list
     option,
    Protocol_client_context.full)
    Tezos_clic.arg

module Sc_rollup_params : sig ... end

val whitelist_arg : 
  (Tezos_protocol_018_Proxford.Protocol.Alpha_context.Sc_rollup.Whitelist.t
     option,
    Protocol_client_context.full)
    Tezos_clic.arg

module Zk_rollup_params : sig ... end

module Dal : sig ... end

val fee_parameter_args : 
  (Injection.fee_parameter, Protocol_client_context.full) Tezos_clic.arg