octez-protocol-019-PtParisB-libs 20.1

val get_timelock_filename : 
  string ->
  string ->
  'a Data_encoding.Encoding.t ->
  'b ->
  string

val write_encoding : string -> 'a Data_encoding.Encoding.t -> 'b -> unit Lwt.t

val read_encoding : 
  ?buffer_size:int ->
  string ->
  'a Data_encoding.Encoding.t ->
  ('b, 'c) result Lwt.t

val save_zk_rollup : 
  force:bool ->
  Tezos_client_base.Client_context.full ->
  string ->
  Tezos_client_019_PtParisB.Client_proto_rollups.Epoxy_alias.t ->
  (unit, Tezos_base.TzPervasives.tztrace) result Lwt.t

val encrypted_switch : 
  (bool, Tezos_client_019_PtParisB.Protocol_client_context.full) Tezos_clic.arg

val normalize_types_switch : 
  (bool, Tezos_client_019_PtParisB.Protocol_client_context.full) Tezos_clic.arg

val report_michelson_errors : 
  ?no_print_source:bool ->
  msg:string ->
  < answer : 'a. ('a, unit) Tezos_client_base.Client_context.lwt_format -> 'a
    ; base : Uri.t
    ; block : Tezos_shell_services.Shell_services.block
    ; call_proto_service0 : 
      'd 'q 'i 'o. ([< Tezos_protocol_environment_019_PtParisB.RPC_service.meth ] as 'e,
                     Tezos_protocol_019_PtParisB.Environment.RPC_context.t,
                     Tezos_protocol_019_PtParisB.Environment.RPC_context.t,
                     'q,
                     'i,
                     'o)
                     Tezos_protocol_environment_019_PtParisB.RPC_service.t ->
      (Tezos_shell_services.Shell_services.chain
       * Tezos_shell_services.Shell_services.block) ->
      'q ->
      'i ->
      'o Tezos_protocol_environment_019_PtParisB.Error_monad.shell_tzresult
        Tezos_protocol_environment_019_PtParisB.Lwt.t
    ; call_proto_service1 : 
      'f 'a 'q 'i 'o. ([< Tezos_protocol_environment_019_PtParisB.RPC_service.meth ] as 'g,
                        Tezos_protocol_019_PtParisB.Environment.RPC_context.t,
                        Tezos_protocol_019_PtParisB.Environment.RPC_context.t
                        * 'a,
                        'q,
                        'i,
                        'o)
                        Tezos_protocol_environment_019_PtParisB.RPC_service.t ->
      (Tezos_shell_services.Shell_services.chain
       * Tezos_shell_services.Shell_services.block) ->
      'a ->
      'q ->
      'i ->
      'o Tezos_protocol_environment_019_PtParisB.Error_monad.shell_tzresult
        Tezos_protocol_environment_019_PtParisB.Lwt.t
    ; call_proto_service2 : 
      'h 'a 'b 'q 'i 'o. ([< Tezos_protocol_environment_019_PtParisB.RPC_service.meth ] as 'j,
                           Tezos_protocol_019_PtParisB.Environment.RPC_context.t,
                           (Tezos_protocol_019_PtParisB.Environment.RPC_context.t
                            * 'a)
                           * 'b,
                           'q,
                           'i,
                           'o)
                           Tezos_protocol_environment_019_PtParisB.RPC_service.t ->
      (Tezos_shell_services.Shell_services.chain
       * Tezos_shell_services.Shell_services.block) ->
      'a ->
      'b ->
      'q ->
      'i ->
      'o Tezos_protocol_environment_019_PtParisB.Error_monad.shell_tzresult
        Tezos_protocol_environment_019_PtParisB.Lwt.t
    ; call_proto_service3 : 
      'k 'a 'b 'c 'q 'i 'o. ([< Tezos_protocol_environment_019_PtParisB.RPC_service.meth ] as 'l,
                              Tezos_protocol_019_PtParisB.Environment.RPC_context.t,
                              ((Tezos_protocol_019_PtParisB.Environment.RPC_context.t
                                * 'a)
                               * 'b)
                              * 'c,
                              'q,
                              'i,
                              'o)
                              Tezos_protocol_environment_019_PtParisB.RPC_service.t ->
      (Tezos_shell_services.Shell_services.chain
       * Tezos_shell_services.Shell_services.block) ->
      'a ->
      'b ->
      'c ->
      'q ->
      'i ->
      'o Tezos_protocol_environment_019_PtParisB.Error_monad.shell_tzresult
        Tezos_protocol_environment_019_PtParisB.Lwt.t
    ; call_service : 
      'm 'p 'q 'i 'o. ([< Resto.meth ] as 'n,
                        unit,
                        'p,
                        'q,
                        'i,
                        'o,
                        Tezos_error_monad.Error_monad.error list)
                        Resto.MakeService(Tezos_rpc__.RPC_encoding).t ->
      'p ->
      'q ->
      'i ->
      'o Tezos_error_monad.Error_monad.tzresult Lwt.t
    ; call_streamed_service : 
      'r 'p 'q 'i 'o. ([< Resto.meth ] as 's,
                        unit,
                        'p,
                        'q,
                        'i,
                        'o,
                        Tezos_error_monad.Error_monad.error list)
                        Resto.MakeService(Tezos_rpc__.RPC_encoding).t ->
      on_chunk:('o -> unit) ->
      on_close:(unit -> unit) ->
      'p ->
      'q ->
      'i ->
      (unit -> unit) Tezos_error_monad.Error_monad.tzresult Lwt.t
    ; chain : Tezos_shell_services.Shell_services.chain
    ; confirmations : int option
    ; error : 'a 'b. ('a, 'b) Tezos_client_base.Client_context.lwt_format -> 'a
    ; exit : 'a. int -> 'a
    ; generic_media_type_call : 
      [ `GET | `POST | `DELETE | `PUT | `PATCH ] ->
      ?body:Data_encoding.json ->
      Uri.t ->
      Tezos_rpc.Context.generic_call_result
        Tezos_error_monad.Error_monad.tzresult
        Lwt.t
    ; get_base_dir : string
    ; last_modification_time : 
      string ->
      float option Tezos_base.TzPervasives.tzresult Lwt.t
    ; load : 
      'a. string ->
      default:'a ->
      'a Tezos_base.TzPervasives.Data_encoding.encoding ->
      'a Tezos_base.TzPervasives.tzresult Lwt.t
    ; load_passwords : string Lwt_stream.t option
    ; log : 
      'a. string ->
      ('a, unit) Tezos_client_base.Client_context.lwt_format ->
      'a
    ; message : 
      'a. ('a, unit) Tezos_client_base.Client_context.lwt_format ->
      'a
    ; multiple_password_retries : bool
    ; now : unit -> Ptime.t
    ; prompt : 
      'a. ('a, string Tezos_base.TzPervasives.tzresult)
            Tezos_client_base.Client_context.lwt_format ->
      'a
    ; prompt_password : 
      'a. ('a,
            Tezos_base.TzPervasives.Bytes.t Tezos_base.TzPervasives.tzresult)
            Tezos_client_base.Client_context.lwt_format ->
      'a
    ; read_file : string -> string Tezos_base.TzPervasives.tzresult Lwt.t
    ; sleep : float -> unit Lwt.t
    ; verbose_rpc_error_diagnostics : bool
    ; warning : 
      'a. ('a, unit) Tezos_client_base.Client_context.lwt_format ->
      'a
    ; with_lock : 'a. (unit -> 'a Lwt.t) -> 'a Lwt.t
    ; write : 
      'a. string ->
      'a ->
      'a Tezos_base.TzPervasives.Data_encoding.encoding ->
      unit Tezos_base.TzPervasives.tzresult Lwt.t.. > ->
  ('t, Tezos_base.TzPervasives.Error_monad.error list) result ->
  'u option Lwt.t

val block_hash_param : 
  (Tezos_base.TzPervasives.Block_hash.t,
    < answer : 'a. ('a, unit) Tezos_client_base.Client_context.lwt_format -> 'a
    ; base : Uri.t
    ; block : Tezos_shell_services.Shell_services.block
    ; call_proto_service0 : 
      'd 'q 'i 'o. ([< Tezos_protocol_019_PtParisB.Environment.RPC_service.meth ] as 'e,
                     Tezos_protocol_019_PtParisB.Environment.RPC_context.t,
                     Tezos_protocol_019_PtParisB.Environment.RPC_context.t,
                     'q,
                     'i,
                     'o)
                     Tezos_protocol_019_PtParisB.Environment.RPC_service.t ->
      (Tezos_shell_services.Shell_services.chain
       * Tezos_shell_services.Shell_services.block) ->
      'q ->
      'i ->
      'o Tezos_protocol_019_PtParisB.Environment.Error_monad.shell_tzresult
        Tezos_protocol_019_PtParisB.Environment.Lwt.t
    ; call_proto_service1 : 
      'f 'a 'q 'i 'o. ([< Tezos_protocol_019_PtParisB.Environment.RPC_service.meth ] as 'g,
                        Tezos_protocol_019_PtParisB.Environment.RPC_context.t,
                        Tezos_protocol_019_PtParisB.Environment.RPC_context.t
                        * 'a,
                        'q,
                        'i,
                        'o)
                        Tezos_protocol_019_PtParisB.Environment.RPC_service.t ->
      (Tezos_shell_services.Shell_services.chain
       * Tezos_shell_services.Shell_services.block) ->
      'a ->
      'q ->
      'i ->
      'o Tezos_protocol_019_PtParisB.Environment.Error_monad.shell_tzresult
        Tezos_protocol_019_PtParisB.Environment.Lwt.t
    ; call_proto_service2 : 
      'h 'a 'b 'q 'i 'o. ([< Tezos_protocol_019_PtParisB.Environment.RPC_service.meth ] as 'j,
                           Tezos_protocol_019_PtParisB.Environment.RPC_context.t,
                           (Tezos_protocol_019_PtParisB.Environment.RPC_context.t
                            * 'a)
                           * 'b,
                           'q,
                           'i,
                           'o)
                           Tezos_protocol_019_PtParisB.Environment.RPC_service.t ->
      (Tezos_shell_services.Shell_services.chain
       * Tezos_shell_services.Shell_services.block) ->
      'a ->
      'b ->
      'q ->
      'i ->
      'o Tezos_protocol_019_PtParisB.Environment.Error_monad.shell_tzresult
        Tezos_protocol_019_PtParisB.Environment.Lwt.t
    ; call_proto_service3 : 
      'k 'a 'b 'c 'q 'i 'o. ([< Tezos_protocol_019_PtParisB.Environment.RPC_service.meth ] as 'l,
                              Tezos_protocol_019_PtParisB.Environment.RPC_context.t,
                              ((Tezos_protocol_019_PtParisB.Environment.RPC_context.t
                                * 'a)
                               * 'b)
                              * 'c,
                              'q,
                              'i,
                              'o)
                              Tezos_protocol_019_PtParisB.Environment.RPC_service.t ->
      (Tezos_shell_services.Shell_services.chain
       * Tezos_shell_services.Shell_services.block) ->
      'a ->
      'b ->
      'c ->
      'q ->
      'i ->
      'o Tezos_protocol_019_PtParisB.Environment.Error_monad.shell_tzresult
        Tezos_protocol_019_PtParisB.Environment.Lwt.t
    ; call_service : 
      'm 'p 'q 'i 'o. ([< Resto.meth ] as 'n,
                        unit,
                        'p,
                        'q,
                        'i,
                        'o,
                        Tezos_error_monad.Error_monad.error list)
                        Resto.MakeService(Tezos_rpc__.RPC_encoding).t ->
      'p ->
      'q ->
      'i ->
      'o Tezos_error_monad.Error_monad.tzresult Lwt.t
    ; call_streamed_service : 
      'r 'p 'q 'i 'o. ([< Resto.meth ] as 's,
                        unit,
                        'p,
                        'q,
                        'i,
                        'o,
                        Tezos_error_monad.Error_monad.error list)
                        Resto.MakeService(Tezos_rpc__.RPC_encoding).t ->
      on_chunk:('o -> unit) ->
      on_close:(unit -> unit) ->
      'p ->
      'q ->
      'i ->
      (unit -> unit) Tezos_error_monad.Error_monad.tzresult Lwt.t
    ; chain : Tezos_shell_services.Shell_services.chain
    ; confirmations : int option
    ; error : 'a 'b. ('a, 'b) Tezos_client_base.Client_context.lwt_format -> 'a
    ; exit : 'a. int -> 'a
    ; generic_media_type_call : 
      [ `GET | `POST | `DELETE | `PUT | `PATCH ] ->
      ?body:Data_encoding.json ->
      Uri.t ->
      Tezos_rpc.Context.generic_call_result
        Tezos_error_monad.Error_monad.tzresult
        Lwt.t
    ; get_base_dir : string
    ; last_modification_time : 
      string ->
      float option Tezos_base.TzPervasives.tzresult Lwt.t
    ; load : 
      'a. string ->
      default:'a ->
      'a Tezos_base.TzPervasives.Data_encoding.encoding ->
      'a Tezos_base.TzPervasives.tzresult Lwt.t
    ; load_passwords : string Lwt_stream.t option
    ; log : 
      'a. string ->
      ('a, unit) Tezos_client_base.Client_context.lwt_format ->
      'a
    ; message : 
      'a. ('a, unit) Tezos_client_base.Client_context.lwt_format ->
      'a
    ; multiple_password_retries : bool
    ; now : unit -> Ptime.t
    ; prompt : 
      'a. ('a, string Tezos_base.TzPervasives.tzresult)
            Tezos_client_base.Client_context.lwt_format ->
      'a
    ; prompt_password : 
      'a. ('a,
            Tezos_base.TzPervasives.Bytes.t Tezos_base.TzPervasives.tzresult)
            Tezos_client_base.Client_context.lwt_format ->
      'a
    ; read_file : string -> string Tezos_base.TzPervasives.tzresult Lwt.t
    ; sleep : float -> unit Lwt.t
    ; verbose_rpc_error_diagnostics : bool
    ; warning : 
      'a. ('a, unit) Tezos_client_base.Client_context.lwt_format ->
      'a
    ; with_lock : 'a. (unit -> 'a Lwt.t) -> 'a Lwt.t
    ; write : 
      'a. string ->
      'a ->
      'a Tezos_base.TzPervasives.Data_encoding.encoding ->
      unit Tezos_base.TzPervasives.tzresult Lwt.t >)
    Tezos_clic.parameter

val group : Tezos_clic.group

val alphanet : Tezos_clic.group

val binary_description : Tezos_clic.group

val tez_of_string_exn : 
  Tezos_client_base.Client_context.full ->
  int ->
  string ->
  string ->
  (Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Tez.t, 'a) result Lwt.t

val tez_of_opt_string_exn : 
  Tezos_client_base.Client_context.full ->
  int ->
  string ->
  string option ->
  (Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Tez.t option, 'a) result
    Lwt.t

val check_smart_contract : 
  Tezos_client_019_PtParisB.Protocol_client_context.full ->
  'a option ->
  ('a -> 'b Lwt.t) ->
  'b Lwt.t

val commands_ro : 
  unit ->
  Tezos_client_019_PtParisB.Protocol_client_context.full Tezos_clic.command
    list

val dry_run_switch : 
  (bool, Tezos_client_019_PtParisB.Protocol_client_context.full) Tezos_clic.arg

val verbose_signing_switch : 
  (bool, Tezos_client_019_PtParisB.Protocol_client_context.full) Tezos_clic.arg

val simulate_switch : 
  (bool, Tezos_client_019_PtParisB.Protocol_client_context.full) Tezos_clic.arg

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

val transfer_command : 
  Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Tez.t ->
  Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Contract.t ->
  < answer : 'a. ('a, unit) Tezos_client_base.Client_context.lwt_format -> 'a
    ; base : Uri.t
    ; block : Tezos_shell_services.Shell_services.block
    ; call_proto_service0 : 
      'd 'q 'i 'o. ([< Tezos_protocol_environment_019_PtParisB.RPC_service.meth ] as 'e,
                     Tezos_protocol_019_PtParisB.Environment.RPC_context.t,
                     Tezos_protocol_019_PtParisB.Environment.RPC_context.t,
                     'q,
                     'i,
                     'o)
                     Tezos_protocol_environment_019_PtParisB.RPC_service.t ->
      (Tezos_shell_services.Shell_services.chain
       * Tezos_shell_services.Shell_services.block) ->
      'q ->
      'i ->
      'o Tezos_protocol_environment_019_PtParisB.Error_monad.shell_tzresult
        Tezos_protocol_environment_019_PtParisB.Lwt.t
    ; call_proto_service1 : 
      'f 'a 'q 'i 'o. ([< Tezos_protocol_environment_019_PtParisB.RPC_service.meth ] as 'g,
                        Tezos_protocol_019_PtParisB.Environment.RPC_context.t,
                        Tezos_protocol_019_PtParisB.Environment.RPC_context.t
                        * 'a,
                        'q,
                        'i,
                        'o)
                        Tezos_protocol_environment_019_PtParisB.RPC_service.t ->
      (Tezos_shell_services.Shell_services.chain
       * Tezos_shell_services.Shell_services.block) ->
      'a ->
      'q ->
      'i ->
      'o Tezos_protocol_environment_019_PtParisB.Error_monad.shell_tzresult
        Tezos_protocol_environment_019_PtParisB.Lwt.t
    ; call_proto_service2 : 
      'h 'a 'b 'q 'i 'o. ([< Tezos_protocol_environment_019_PtParisB.RPC_service.meth ] as 'j,
                           Tezos_protocol_019_PtParisB.Environment.RPC_context.t,
                           (Tezos_protocol_019_PtParisB.Environment.RPC_context.t
                            * 'a)
                           * 'b,
                           'q,
                           'i,
                           'o)
                           Tezos_protocol_environment_019_PtParisB.RPC_service.t ->
      (Tezos_shell_services.Shell_services.chain
       * Tezos_shell_services.Shell_services.block) ->
      'a ->
      'b ->
      'q ->
      'i ->
      'o Tezos_protocol_environment_019_PtParisB.Error_monad.shell_tzresult
        Tezos_protocol_environment_019_PtParisB.Lwt.t
    ; call_proto_service3 : 
      'k 'a 'b 'c 'q 'i 'o. ([< Tezos_protocol_environment_019_PtParisB.RPC_service.meth ] as 'l,
                              Tezos_protocol_019_PtParisB.Environment.RPC_context.t,
                              ((Tezos_protocol_019_PtParisB.Environment.RPC_context.t
                                * 'a)
                               * 'b)
                              * 'c,
                              'q,
                              'i,
                              'o)
                              Tezos_protocol_environment_019_PtParisB.RPC_service.t ->
      (Tezos_shell_services.Shell_services.chain
       * Tezos_shell_services.Shell_services.block) ->
      'a ->
      'b ->
      'c ->
      'q ->
      'i ->
      'o Tezos_protocol_environment_019_PtParisB.Error_monad.shell_tzresult
        Tezos_protocol_environment_019_PtParisB.Lwt.t
    ; call_service : 
      'm 'p 'q 'i 'o. ([< Resto.meth ] as 'n,
                        unit,
                        'p,
                        'q,
                        'i,
                        'o,
                        Tezos_error_monad.Error_monad.error list)
                        Resto.MakeService(Tezos_rpc__.RPC_encoding).t ->
      'p ->
      'q ->
      'i ->
      'o Tezos_error_monad.Error_monad.tzresult Lwt.t
    ; call_streamed_service : 
      'r 'p 'q 'i 'o. ([< Resto.meth ] as 's,
                        unit,
                        'p,
                        'q,
                        'i,
                        'o,
                        Tezos_error_monad.Error_monad.error list)
                        Resto.MakeService(Tezos_rpc__.RPC_encoding).t ->
      on_chunk:('o -> unit) ->
      on_close:(unit -> unit) ->
      'p ->
      'q ->
      'i ->
      (unit -> unit) Tezos_error_monad.Error_monad.tzresult Lwt.t
    ; chain : Tezos_shell_services.Shell_services.chain
    ; confirmations : int option
    ; error : 'a 'b. ('a, 'b) Tezos_client_base.Client_context.lwt_format -> 'a
    ; exit : 'a. int -> 'a
    ; generic_media_type_call : 
      [ `GET | `POST | `DELETE | `PUT | `PATCH ] ->
      ?body:Data_encoding.json ->
      Uri.t ->
      Tezos_rpc.Context.generic_call_result
        Tezos_error_monad.Error_monad.tzresult
        Lwt.t
    ; get_base_dir : string
    ; last_modification_time : 
      string ->
      float option Tezos_base.TzPervasives.tzresult Lwt.t
    ; load : 
      'a. string ->
      default:'a ->
      'a Tezos_base.TzPervasives.Data_encoding.encoding ->
      'a Tezos_base.TzPervasives.tzresult Lwt.t
    ; load_passwords : string Lwt_stream.t option
    ; log : 
      'a. string ->
      ('a, unit) Tezos_client_base.Client_context.lwt_format ->
      'a
    ; message : 
      'a. ('a, unit) Tezos_client_base.Client_context.lwt_format ->
      'a
    ; multiple_password_retries : bool
    ; now : unit -> Ptime.t
    ; prompt : 
      'a. ('a, string Tezos_base.TzPervasives.tzresult)
            Tezos_client_base.Client_context.lwt_format ->
      'a
    ; prompt_password : 
      'a. ('a,
            Tezos_base.TzPervasives.Bytes.t Tezos_base.TzPervasives.tzresult)
            Tezos_client_base.Client_context.lwt_format ->
      'a
    ; read_file : string -> string Tezos_base.TzPervasives.tzresult Lwt.t
    ; sleep : float -> unit Lwt.t
    ; verbose_rpc_error_diagnostics : bool
    ; warning : 
      'a. ('a, unit) Tezos_client_base.Client_context.lwt_format ->
      'a
    ; with_lock : 'a. (unit -> 'a Lwt.t) -> 'a Lwt.t
    ; write : 
      'a. string ->
      'a ->
      'a Tezos_base.TzPervasives.Data_encoding.encoding ->
      unit Tezos_base.TzPervasives.tzresult Lwt.t.. > ->
  (Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Tez.t option
   * bool
   * bool
   * bool
   * bool
   * Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Gas.Arith.integral
       option
   * Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Gas.Arith.integral
       option
   * Z.t option
   * Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Manager_counter.t
       option
   * string option
   * bool
   * Tezos_client_019_PtParisB.Injection.fee_parameter
   * Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Entrypoint.t option
   * bool
   * bool) ->
  (unit, 't) result Lwt.t

val prepare_batch_operation : 
  Tezos_client_019_PtParisB.Protocol_client_context.full ->
  ?arg:string ->
  ?fee:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Tez.t ->
  ?gas_limit:
    Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Gas.Arith.integral ->
  ?storage_limit:Z.t ->
  ?entrypoint:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Entrypoint.t ->
  Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Contract.t ->
  int ->
  Tezos_client_019_PtParisB.Client_proto_context.batch_transfer_operation ->
  (Tezos_client_019_PtParisB.Annotated_manager_operation.packed,
    Tezos_base.TzPervasives.tztrace)
    result
    Lwt.t

val commands_network : 
  [< `Mainnet | `Testnet ] option ->
  unit ->
  Tezos_client_019_PtParisB.Protocol_client_context.full Tezos_clic.command
    list

val commands_rw : 
  unit ->
  Tezos_client_019_PtParisB.Protocol_client_context.full Tezos_clic.command
    list

val commands : 
  [< `Mainnet | `Testnet ] option ->
  unit ->
  Tezos_client_019_PtParisB.Protocol_client_context.full Tezos_clic.command
    list

package octez-protocol-019-PtParisB-libs