Client_proto_args (mavkit-protocol-001-PtAtLas-libs.Mavryk_client_001_PtAtLas.Client_proto

val entrypoint_parameter : 
  (Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Entrypoint.t,
    Protocol_client_context.full)
    Mavryk_clic.parameter

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

val fee_arg : 
  (Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t option,
    Protocol_client_context.full)
    Mavryk_clic.arg

val default_fee_arg : 
  (Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t option,
    Protocol_client_context.full)
    Mavryk_clic.arg

val counter_arg : 
  (Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Manager_counter.t option,
    Protocol_client_context.full)
    Mavryk_clic.arg

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

val safety_guard_arg : 
  (Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral option,
    Protocol_client_context.full)
    Mavryk_clic.arg

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

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

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

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

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

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

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

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

val entrypoint_arg : 
  (Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Entrypoint.t option,
    Protocol_client_context.full)
    Mavryk_clic.arg

val default_entrypoint_arg : 
  (Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Entrypoint.t option,
    Protocol_client_context.full)
    Mavryk_clic.arg

val delegate_arg : 
  (Mavryk_base.TzPervasives.Signature.Public_key_hash.t option,
    Protocol_client_context.full)
    Mavryk_clic.arg

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

val minimal_fees_arg : 
  (Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.mav,
    Protocol_client_context.full)
    Mavryk_clic.arg

val minimal_nanomav_per_gas_unit_arg : 
  (Q.t, Protocol_client_context.full) Mavryk_clic.arg

val minimal_nanomav_per_byte_arg : 
  (Q.t, Protocol_client_context.full) Mavryk_clic.arg

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

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

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

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

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

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

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

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

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

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

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

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

val non_negative_z_parameter : 
  unit ->
  (Z.t, Mavryk_client_base.Client_context.io) Mavryk_clic.parameter

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

val non_negative_parameter : 
  unit ->
  (int, Mavryk_client_base.Client_context.io) Mavryk_clic.parameter

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

val positive_int_parameter : 
  unit ->
  (int, Mavryk_client_base.Client_context.io) Mavryk_clic.parameter

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

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

val signature_parameter : 
  (Mavryk_base.TzPervasives.Signature.t, Protocol_client_context.full)
    Mavryk_clic.parameter

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

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

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

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

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

val bytes_parameter : 
  (Mavryk_base.TzPervasives.Bytes.t, Protocol_client_context.full)
    Mavryk_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 Mavryk_base.TzPervasives.tzresult Lwt.t) ->
  read_file:(string -> string Mavryk_base.TzPervasives.tzresult Lwt.t) ->
  string ->
  'a file_or_text Mavryk_base.TzPervasives.tzresult Lwt.t

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

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

val json_with_origin_parameter : 
  (Mavryk_base.TzPervasives.Data_encoding.Json.t file_or_text,
    Protocol_client_context.full)
    Mavryk_clic.parameter

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

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

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

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

val json_parameter : 
  (Mavryk_base.TzPervasives.Data_encoding.Json.t, Protocol_client_context.full)
    Mavryk_clic.parameter

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

val raw_level_parameter : 
  unit ->
  (Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Raw_level.t,
    Mavryk_client_base.Client_context.io)
    Mavryk_clic.parameter

val raw_level_param : 
  name:string ->
  desc:string ->
  ('a, Mavryk_client_base.Client_context.io as 'b) Mavryk_clic.params ->
  (Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Raw_level.t -> 'a, 'b)
    Mavryk_clic.params

val micheline_parameter : 
  (Mavryk_micheline.Micheline_parser.node * string,
    Protocol_client_context.full)
    Mavryk_clic.parameter

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

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

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

val level_arg : 
  (Mavryk_protocol_001_PtAtLas.Protocol.Script_int.n
     Mavryk_protocol_001_PtAtLas.Protocol.Script_int.num
     option,
    Protocol_client_context.full)
    Mavryk_clic.arg

val now_arg : 
  (Mavryk_protocol_001_PtAtLas.Protocol.Script_timestamp.t option,
    Protocol_client_context.full)
    Mavryk_clic.arg

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

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

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

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

module Sc_rollup_params : sig ... end

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

module Zk_rollup_params : sig ... end

module Dal : sig ... end

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