S (mavkit-protocol-001-PtAtLas-libs.Mavryk_protocol_plugin_001

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

type other_contract_description = {

address : Mavryk_protocol_001_PtAtLas.Protocol.Contract_hash.t;
ty : Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr;

}

val other_contracts_encoding : 
  other_contract_description list
    Mavryk_protocol_001_PtAtLas.Environment.Data_encoding.encoding

type extra_big_map_description = {

}

val extra_big_maps_encoding : 
  extra_big_map_description list
    Mavryk_protocol_001_PtAtLas.Environment.Data_encoding.encoding

val run_code_input_encoding : 
  ((Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr
    * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr
    * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr
    * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t
    * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t option
    * Mavryk_protocol_001_PtAtLas.Environment.Chain_id.t
    * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Contract.t option
    * Mavryk_protocol_environment_001_PtAtLas.Signature.Public_key_hash.t
        option
    * Mavryk_raw_protocol_001_PtAtLas.Contract_hash.t option
    * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Entrypoint.t)
   * (Mavryk_protocol_001_PtAtLas.Protocol.Script_ir_unparser.unparsing_mode
        option
      * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral
          option
      * Mavryk_protocol_001_PtAtLas.Protocol.Script_timestamp.t option
      * Mavryk_protocol_001_PtAtLas.Protocol.Script_int.n
          Mavryk_protocol_001_PtAtLas.Protocol.Script_int.num
          option
      * other_contract_description list option
      * extra_big_map_description list option))
    Mavryk_protocol_001_PtAtLas.Environment.Data_encoding.encoding

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

val trace_code_input_encoding : 
  ((Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr
    * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr
    * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr
    * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t
    * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t option
    * Mavryk_protocol_001_PtAtLas.Environment.Chain_id.t
    * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Contract.t option
    * Mavryk_protocol_environment_001_PtAtLas.Signature.Public_key_hash.t
        option
    * Mavryk_raw_protocol_001_PtAtLas.Contract_hash.t option
    * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Entrypoint.t)
   * (Mavryk_protocol_001_PtAtLas.Protocol.Script_ir_unparser.unparsing_mode
        option
      * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral
          option
      * Mavryk_protocol_001_PtAtLas.Protocol.Script_timestamp.t option
      * Mavryk_protocol_001_PtAtLas.Protocol.Script_int.n
          Mavryk_protocol_001_PtAtLas.Protocol.Script_int.num
          option
      * other_contract_description list option
      * extra_big_map_description list option))
    Mavryk_protocol_001_PtAtLas.Environment.Data_encoding.encoding

val trace_encoding : 
  Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.execution_trace
    Mavryk_protocol_001_PtAtLas.Environment.Data_encoding.encoding

val trace_code_output_encoding : 
  (Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr
   * Mavryk_protocol_001_PtAtLas.Protocol.Apply_internal_results.packed_internal_operation
       list
   * Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.execution_trace
   * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Lazy_storage.diffs
       option)
    Mavryk_protocol_001_PtAtLas.Environment.Data_encoding.encoding

val stack_encoding : 
  (Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr
   * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr)
    list
    Mavryk_protocol_001_PtAtLas.Environment.Data_encoding.encoding

val run_instr_input_encoding : 
  (((Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr
     * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr)
      list
    * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr
    * Mavryk_protocol_001_PtAtLas.Environment.Chain_id.t
    * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral
        option
    * Mavryk_protocol_001_PtAtLas.Protocol.Script_timestamp.t option
    * Mavryk_protocol_001_PtAtLas.Protocol.Script_int.n
        Mavryk_protocol_001_PtAtLas.Protocol.Script_int.num
        option
    * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Contract.t option
    * Mavryk_protocol_environment_001_PtAtLas.Signature.Public_key_hash.t
        option
    * Mavryk_raw_protocol_001_PtAtLas.Contract_hash.t option
    * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr option)
   * (Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t
      * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t option
      * other_contract_description list option
      * extra_big_map_description list option
      * Mavryk_protocol_001_PtAtLas.Protocol.Script_ir_unparser.unparsing_mode
          option
      * bool))
    Mavryk_protocol_001_PtAtLas.Environment.Data_encoding.encoding

val run_instr_output_encoding : 
  ((Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr
    * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr)
     list
   * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.t)
    Mavryk_protocol_001_PtAtLas.Environment.Data_encoding.encoding

val run_tzip4_view_encoding : 
  ((Mavryk_raw_protocol_001_PtAtLas.Contract_hash.t
    * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Entrypoint.t
    * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr
    * Mavryk_protocol_001_PtAtLas.Environment.Chain_id.t
    * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Contract.t option
    * Mavryk_protocol_environment_001_PtAtLas.Signature.Public_key_hash.t
        option
    * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral
        option
    * Mavryk_protocol_001_PtAtLas.Protocol.Script_ir_unparser.unparsing_mode
    * Mavryk_protocol_001_PtAtLas.Protocol.Script_timestamp.t option
    * Mavryk_protocol_001_PtAtLas.Protocol.Script_int.n
        Mavryk_protocol_001_PtAtLas.Protocol.Script_int.num
        option)
   * (other_contract_description list option
      * extra_big_map_description list option))
    Mavryk_protocol_001_PtAtLas.Environment.Data_encoding.encoding

val run_script_view_encoding : 
  ((Mavryk_raw_protocol_001_PtAtLas.Contract_hash.t
    * string
    * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr
    * bool
    * Mavryk_protocol_001_PtAtLas.Environment.Chain_id.t
    * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Contract.t option
    * Mavryk_protocol_environment_001_PtAtLas.Signature.Public_key_hash.t
        option
    * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral
        option
    * Mavryk_protocol_001_PtAtLas.Protocol.Script_ir_unparser.unparsing_mode
    * Mavryk_protocol_001_PtAtLas.Protocol.Script_timestamp.t option)
   * (Mavryk_protocol_001_PtAtLas.Protocol.Script_int.n
        Mavryk_protocol_001_PtAtLas.Protocol.Script_int.num
        option
      * other_contract_description list option
      * extra_big_map_description list option))
    Mavryk_protocol_001_PtAtLas.Environment.Data_encoding.encoding

val normalize_stack_input_encoding : 
  ((Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr
    * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr)
     list
   * Mavryk_protocol_001_PtAtLas.Protocol.Script_ir_unparser.unparsing_mode
   * bool
   * other_contract_description list option
   * extra_big_map_description list option)
    Mavryk_protocol_001_PtAtLas.Environment.Data_encoding.encoding

val normalize_stack_output_encoding : 
  (Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr
   * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr)
    list
    Mavryk_protocol_001_PtAtLas.Environment.Data_encoding.encoding

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

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

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

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

val run_instr : 
  ([ `POST ],
    Mavryk_protocol_001_PtAtLas.Environment.Updater.rpc_context,
    Mavryk_protocol_001_PtAtLas.Environment.Updater.rpc_context,
    unit,
    ((Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr
      * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr)
       list
     * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr
     * Mavryk_protocol_001_PtAtLas.Environment.Chain_id.t
     * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral
         option
     * Mavryk_protocol_001_PtAtLas.Protocol.Script_timestamp.t option
     * Mavryk_protocol_001_PtAtLas.Protocol.Script_int.n
         Mavryk_protocol_001_PtAtLas.Protocol.Script_int.num
         option
     * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Contract.t option
     * Mavryk_protocol_environment_001_PtAtLas.Signature.Public_key_hash.t
         option
     * Mavryk_raw_protocol_001_PtAtLas.Contract_hash.t option
     * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr option)
    * (Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t
       * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t option
       * other_contract_description list option
       * extra_big_map_description list option
       * Mavryk_protocol_001_PtAtLas.Protocol.Script_ir_unparser.unparsing_mode
           option
       * bool),
    (Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr
     * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr)
      list
    * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.t)
    Mavryk_protocol_001_PtAtLas.Environment.RPC_service.service

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

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

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

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

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

val normalize_stack : 
  ([ `POST ],
    Mavryk_protocol_001_PtAtLas.Environment.Updater.rpc_context,
    Mavryk_protocol_001_PtAtLas.Environment.Updater.rpc_context,
    unit,
    (Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr
     * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr)
      list
    * Mavryk_protocol_001_PtAtLas.Protocol.Script_ir_unparser.unparsing_mode
    * bool
    * other_contract_description list option
    * extra_big_map_description list option,
    (Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr
     * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr)
      list)
    Mavryk_protocol_001_PtAtLas.Environment.RPC_service.service

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

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

val run_operation_query : 
  < version : version > Mavryk_protocol_001_PtAtLas.Environment.RPC_query.t

val operations_encodings : 
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Operation.packed
    Mavryk_protocol_001_PtAtLas.Environment.Data_encoding.encoding

val run_operation_output_encoding : 
  (version
   * (Mavryk_raw_protocol_001_PtAtLas.Alpha_context.Operation.packed_protocol_data
      * Mavryk_protocol_001_PtAtLas.Protocol.Apply_results.packed_operation_metadata))
    Mavryk_protocol_001_PtAtLas.Environment.Data_encoding.encoding

val run_operation : 
  ([ `POST ],
    Mavryk_protocol_001_PtAtLas.Environment.Updater.rpc_context,
    Mavryk_protocol_001_PtAtLas.Environment.Updater.rpc_context,
    < version : version >,
    Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Operation.packed
    * Mavryk_protocol_001_PtAtLas.Environment.Chain_id.t,
    version
    * (Mavryk_raw_protocol_001_PtAtLas.Alpha_context.Operation.packed_protocol_data
       * Mavryk_protocol_001_PtAtLas.Protocol.Apply_results.packed_operation_metadata))
    Mavryk_protocol_001_PtAtLas.Environment.RPC_service.service

val simulate_query : 
  < successor_level : bool
    ; version : version >
    Mavryk_protocol_001_PtAtLas.Environment.RPC_query.t

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

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

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