tezos-protocol-plugin-015-PtLimaPt 16.0

val path : 
  (Tezos_protocol_015_PtLimaPt.Environment.Updater.rpc_context,
    Tezos_protocol_015_PtLimaPt.Environment.Updater.rpc_context)
    Tezos_protocol_015_PtLimaPt.Environment.RPC_path.path

val run_code_input_encoding : 
  ((Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.expr
    * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.expr
    * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.expr
    * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tez.t
    * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tez.t option
    * Tezos_protocol_015_PtLimaPt.Environment.Chain_id.t
    * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Contract.t option
    * Tezos_protocol_environment_015_PtLimaPt.Signature.Public_key_hash.t
        option
    * Tezos_raw_protocol_015_PtLimaPt.Contract_hash.t option
    * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Entrypoint.t)
   * (Tezos_protocol_015_PtLimaPt.Protocol.Script_ir_unparser.unparsing_mode
        option
      * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Gas.Arith.integral
          option
      * Tezos_protocol_015_PtLimaPt.Protocol.Script_timestamp.t option
      * Tezos_protocol_015_PtLimaPt.Protocol.Script_int.n
          Tezos_protocol_015_PtLimaPt.Protocol.Script_int.num
          option))
    Tezos_protocol_015_PtLimaPt.Environment.Data_encoding.encoding

val run_code_output_encoding : 
  (Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.expr
   * Tezos_protocol_015_PtLimaPt.Protocol.Apply_internal_results.packed_internal_operation
       list
   * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Lazy_storage.diffs
       option)
    Tezos_protocol_015_PtLimaPt.Environment.Data_encoding.encoding

val trace_code_input_encoding : 
  ((Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.expr
    * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.expr
    * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.expr
    * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tez.t
    * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tez.t option
    * Tezos_protocol_015_PtLimaPt.Environment.Chain_id.t
    * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Contract.t option
    * Tezos_protocol_environment_015_PtLimaPt.Signature.Public_key_hash.t
        option
    * Tezos_raw_protocol_015_PtLimaPt.Contract_hash.t option
    * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Entrypoint.t)
   * (Tezos_protocol_015_PtLimaPt.Protocol.Script_ir_unparser.unparsing_mode
        option
      * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Gas.Arith.integral
          option
      * Tezos_protocol_015_PtLimaPt.Protocol.Script_timestamp.t option
      * Tezos_protocol_015_PtLimaPt.Protocol.Script_int.n
          Tezos_protocol_015_PtLimaPt.Protocol.Script_int.num
          option))
    Tezos_protocol_015_PtLimaPt.Environment.Data_encoding.encoding

val trace_encoding : 
  (Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.location
   * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Gas.t
   * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.expr list)
    list
    Tezos_protocol_015_PtLimaPt.Environment.Data_encoding.encoding

val trace_code_output_encoding : 
  (Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.expr
   * Tezos_protocol_015_PtLimaPt.Protocol.Apply_internal_results.packed_internal_operation
       list
   * (Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.location
      * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Gas.t
      * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.expr list)
       list
   * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Lazy_storage.diffs
       option)
    Tezos_protocol_015_PtLimaPt.Environment.Data_encoding.encoding

val run_tzip4_view_encoding : 
  (Tezos_raw_protocol_015_PtLimaPt.Contract_hash.t
   * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Entrypoint.t
   * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.expr
   * Tezos_protocol_015_PtLimaPt.Environment.Chain_id.t
   * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Contract.t option
   * Tezos_protocol_environment_015_PtLimaPt.Signature.Public_key_hash.t option
   * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Gas.Arith.integral
       option
   * Tezos_protocol_015_PtLimaPt.Protocol.Script_ir_unparser.unparsing_mode
   * Tezos_protocol_015_PtLimaPt.Protocol.Script_timestamp.t option
   * Tezos_protocol_015_PtLimaPt.Protocol.Script_int.n
       Tezos_protocol_015_PtLimaPt.Protocol.Script_int.num
       option)
    Tezos_protocol_015_PtLimaPt.Environment.Data_encoding.encoding

val run_script_view_encoding : 
  ((Tezos_raw_protocol_015_PtLimaPt.Contract_hash.t
    * string
    * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.expr
    * bool
    * Tezos_protocol_015_PtLimaPt.Environment.Chain_id.t
    * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Contract.t option
    * Tezos_protocol_environment_015_PtLimaPt.Signature.Public_key_hash.t
        option
    * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Gas.Arith.integral
        option
    * Tezos_protocol_015_PtLimaPt.Protocol.Script_ir_unparser.unparsing_mode
    * Tezos_protocol_015_PtLimaPt.Protocol.Script_timestamp.t option)
   * Tezos_protocol_015_PtLimaPt.Protocol.Script_int.n
       Tezos_protocol_015_PtLimaPt.Protocol.Script_int.num
       option)
    Tezos_protocol_015_PtLimaPt.Environment.Data_encoding.encoding

val run_code : 
  ([ `POST ],
    Tezos_protocol_015_PtLimaPt.Environment.Updater.rpc_context,
    Tezos_protocol_015_PtLimaPt.Environment.Updater.rpc_context,
    unit,
    (Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.expr
     * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.expr
     * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.expr
     * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tez.t
     * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tez.t option
     * Tezos_protocol_015_PtLimaPt.Environment.Chain_id.t
     * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Contract.t option
     * Tezos_protocol_environment_015_PtLimaPt.Signature.Public_key_hash.t
         option
     * Tezos_raw_protocol_015_PtLimaPt.Contract_hash.t option
     * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Entrypoint.t)
    * (Tezos_protocol_015_PtLimaPt.Protocol.Script_ir_unparser.unparsing_mode
         option
       * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Gas.Arith.integral
           option
       * Tezos_protocol_015_PtLimaPt.Protocol.Script_timestamp.t option
       * Tezos_protocol_015_PtLimaPt.Protocol.Script_int.n
           Tezos_protocol_015_PtLimaPt.Protocol.Script_int.num
           option),
    Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.expr
    * Tezos_protocol_015_PtLimaPt.Protocol.Apply_internal_results.packed_internal_operation
        list
    * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Lazy_storage.diffs
        option)
    Tezos_protocol_015_PtLimaPt.Environment.RPC_service.service

val trace_code : 
  ([ `POST ],
    Tezos_protocol_015_PtLimaPt.Environment.Updater.rpc_context,
    Tezos_protocol_015_PtLimaPt.Environment.Updater.rpc_context,
    unit,
    (Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.expr
     * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.expr
     * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.expr
     * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tez.t
     * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tez.t option
     * Tezos_protocol_015_PtLimaPt.Environment.Chain_id.t
     * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Contract.t option
     * Tezos_protocol_environment_015_PtLimaPt.Signature.Public_key_hash.t
         option
     * Tezos_raw_protocol_015_PtLimaPt.Contract_hash.t option
     * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Entrypoint.t)
    * (Tezos_protocol_015_PtLimaPt.Protocol.Script_ir_unparser.unparsing_mode
         option
       * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Gas.Arith.integral
           option
       * Tezos_protocol_015_PtLimaPt.Protocol.Script_timestamp.t option
       * Tezos_protocol_015_PtLimaPt.Protocol.Script_int.n
           Tezos_protocol_015_PtLimaPt.Protocol.Script_int.num
           option),
    Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.expr
    * Tezos_protocol_015_PtLimaPt.Protocol.Apply_internal_results.packed_internal_operation
        list
    * (Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.location
       * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Gas.t
       * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.expr list)
        list
    * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Lazy_storage.diffs
        option)
    Tezos_protocol_015_PtLimaPt.Environment.RPC_service.service

val run_tzip4_view : 
  ([ `POST ],
    Tezos_protocol_015_PtLimaPt.Environment.Updater.rpc_context,
    Tezos_protocol_015_PtLimaPt.Environment.Updater.rpc_context,
    unit,
    Tezos_raw_protocol_015_PtLimaPt.Contract_hash.t
    * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Entrypoint.t
    * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.expr
    * Tezos_protocol_015_PtLimaPt.Environment.Chain_id.t
    * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Contract.t option
    * Tezos_protocol_environment_015_PtLimaPt.Signature.Public_key_hash.t
        option
    * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Gas.Arith.integral
        option
    * Tezos_protocol_015_PtLimaPt.Protocol.Script_ir_unparser.unparsing_mode
    * Tezos_protocol_015_PtLimaPt.Protocol.Script_timestamp.t option
    * Tezos_protocol_015_PtLimaPt.Protocol.Script_int.n
        Tezos_protocol_015_PtLimaPt.Protocol.Script_int.num
        option,
    Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.expr)
    Tezos_protocol_015_PtLimaPt.Environment.RPC_service.service

val run_script_view : 
  ([ `POST ],
    Tezos_protocol_015_PtLimaPt.Environment.Updater.rpc_context,
    Tezos_protocol_015_PtLimaPt.Environment.Updater.rpc_context,
    unit,
    (Tezos_raw_protocol_015_PtLimaPt.Contract_hash.t
     * string
     * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.expr
     * bool
     * Tezos_protocol_015_PtLimaPt.Environment.Chain_id.t
     * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Contract.t option
     * Tezos_protocol_environment_015_PtLimaPt.Signature.Public_key_hash.t
         option
     * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Gas.Arith.integral
         option
     * Tezos_protocol_015_PtLimaPt.Protocol.Script_ir_unparser.unparsing_mode
     * Tezos_protocol_015_PtLimaPt.Protocol.Script_timestamp.t option)
    * Tezos_protocol_015_PtLimaPt.Protocol.Script_int.n
        Tezos_protocol_015_PtLimaPt.Protocol.Script_int.num
        option,
    Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.expr)
    Tezos_protocol_015_PtLimaPt.Environment.RPC_service.service

val typecheck_code : 
  ([ `POST ],
    Tezos_protocol_015_PtLimaPt.Environment.Updater.rpc_context,
    Tezos_protocol_015_PtLimaPt.Environment.Updater.rpc_context,
    unit,
    Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.expr
    * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Gas.Arith.integral
        option
    * bool option
    * bool option,
    (Tezos_raw_protocol_015_PtLimaPt.Alpha_context.Script.location
     * (Tezos_raw_protocol_015_PtLimaPt.Alpha_context.Script.expr list
        * Tezos_raw_protocol_015_PtLimaPt.Alpha_context.Script.expr list))
      list
    * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Gas.t)
    Tezos_protocol_015_PtLimaPt.Environment.RPC_service.service

val script_size : 
  ([ `POST ],
    Tezos_protocol_015_PtLimaPt.Environment.Updater.rpc_context,
    Tezos_protocol_015_PtLimaPt.Environment.Updater.rpc_context,
    unit,
    Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.expr
    * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.expr
    * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Gas.Arith.integral
        option
    * bool option,
    int)
    Tezos_protocol_015_PtLimaPt.Environment.RPC_service.service

val typecheck_data : 
  ([ `POST ],
    Tezos_protocol_015_PtLimaPt.Environment.Updater.rpc_context,
    Tezos_protocol_015_PtLimaPt.Environment.Updater.rpc_context,
    unit,
    Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.expr
    * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.expr
    * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Gas.Arith.integral
        option
    * bool option,
    Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Gas.t)
    Tezos_protocol_015_PtLimaPt.Environment.RPC_service.service

val pack_data : 
  ([ `POST ],
    Tezos_protocol_015_PtLimaPt.Environment.Updater.rpc_context,
    Tezos_protocol_015_PtLimaPt.Environment.Updater.rpc_context,
    unit,
    Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.expr
    * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.expr
    * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Gas.Arith.integral
        option,
    Tezos_protocol_environment_015_PtLimaPt.Bytes.t
    * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Gas.t)
    Tezos_protocol_015_PtLimaPt.Environment.RPC_service.service

val normalize_data : 
  ([ `POST ],
    Tezos_protocol_015_PtLimaPt.Environment.Updater.rpc_context,
    Tezos_protocol_015_PtLimaPt.Environment.Updater.rpc_context,
    unit,
    Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.expr
    * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.expr
    * Tezos_protocol_015_PtLimaPt.Protocol.Script_ir_unparser.unparsing_mode
    * bool option,
    Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.expr)
    Tezos_protocol_015_PtLimaPt.Environment.RPC_service.service

val normalize_script : 
  ([ `POST ],
    Tezos_protocol_015_PtLimaPt.Environment.Updater.rpc_context,
    Tezos_protocol_015_PtLimaPt.Environment.Updater.rpc_context,
    unit,
    Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.expr
    * Tezos_protocol_015_PtLimaPt.Protocol.Script_ir_unparser.unparsing_mode,
    Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.expr)
    Tezos_protocol_015_PtLimaPt.Environment.RPC_service.service

val normalize_type : 
  ([ `POST ],
    Tezos_protocol_015_PtLimaPt.Environment.Updater.rpc_context,
    Tezos_protocol_015_PtLimaPt.Environment.Updater.rpc_context,
    unit,
    Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.expr,
    Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.expr)
    Tezos_protocol_015_PtLimaPt.Environment.RPC_service.service

val run_operation : 
  ([ `POST ],
    Tezos_protocol_015_PtLimaPt.Environment.Updater.rpc_context,
    Tezos_protocol_015_PtLimaPt.Environment.Updater.rpc_context,
    unit,
    Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Operation.packed
    * Tezos_protocol_015_PtLimaPt.Environment.Chain_id.t,
    Tezos_raw_protocol_015_PtLimaPt.Alpha_context.Operation.packed_protocol_data
    * Tezos_protocol_015_PtLimaPt.Protocol.Apply_results.packed_operation_metadata)
    Tezos_protocol_015_PtLimaPt.Environment.RPC_service.service

val simulate_query : 
  < successor_level : bool >
    Tezos_protocol_015_PtLimaPt.Environment.RPC_query.t

val simulate_operation : 
  ([ `POST ],
    Tezos_protocol_015_PtLimaPt.Environment.Updater.rpc_context,
    Tezos_protocol_015_PtLimaPt.Environment.Updater.rpc_context,
    < successor_level : bool >,
    int32 option
    * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Operation.packed
    * Tezos_protocol_015_PtLimaPt.Environment.Chain_id.t
    * int,
    Tezos_raw_protocol_015_PtLimaPt.Alpha_context.Operation.packed_protocol_data
    * Tezos_protocol_015_PtLimaPt.Protocol.Apply_results.packed_operation_metadata)
    Tezos_protocol_015_PtLimaPt.Environment.RPC_service.service

val simulate_tx_rollup_operation : 
  ([ `POST ],
    Tezos_protocol_015_PtLimaPt.Environment.Updater.rpc_context,
    Tezos_protocol_015_PtLimaPt.Environment.Updater.rpc_context,
    unit,
    int32 option
    * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Operation.packed
    * Tezos_protocol_015_PtLimaPt.Environment.Chain_id.t
    * int,
    Tezos_raw_protocol_015_PtLimaPt.Alpha_context.Operation.packed_protocol_data
    * Tezos_protocol_015_PtLimaPt.Protocol.Apply_results.packed_operation_metadata)
    Tezos_protocol_015_PtLimaPt.Environment.RPC_service.service

val entrypoint_type : 
  ([ `POST ],
    Tezos_protocol_015_PtLimaPt.Environment.Updater.rpc_context,
    Tezos_protocol_015_PtLimaPt.Environment.Updater.rpc_context,
    unit,
    Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.expr
    * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Entrypoint.t,
    Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.expr)
    Tezos_protocol_015_PtLimaPt.Environment.RPC_service.service

val list_entrypoints : 
  ([ `POST ],
    Tezos_protocol_015_PtLimaPt.Environment.Updater.rpc_context,
    Tezos_protocol_015_PtLimaPt.Environment.Updater.rpc_context,
    unit,
    Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.expr,
    Tezos_protocol_015_PtLimaPt.Protocol.Michelson_v1_primitives.prim list list
    * (string * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Script.expr)
        list)
    Tezos_protocol_015_PtLimaPt.Environment.RPC_service.service

package tezos-protocol-plugin-015-PtLimaPt