tezos-protocol-plugin-008-PtEdo2Zk 10.2

type Tezos_protocol_008_PtEdo2Zk.Protocol.Environment.Error_monad.error +=

| Cannot_serialize_log_normalized

module Unparse_types : sig ... end

val helpers_path : 
  (Tezos_protocol_008_PtEdo2Zk.Protocol.Environment.Updater.rpc_context,
    Tezos_protocol_008_PtEdo2Zk.Protocol.Environment.Updater.rpc_context)
    Tezos_protocol_008_PtEdo2Zk.Protocol.Environment.RPC_path.path

val contract_root : 
  Tezos_protocol_008_PtEdo2Zk.Protocol.Environment.RPC_context.t
    Tezos_protocol_008_PtEdo2Zk.Protocol.Environment.RPC_path.context

val big_map_root : 
  Tezos_protocol_008_PtEdo2Zk.Protocol.Environment.RPC_context.t
    Tezos_protocol_008_PtEdo2Zk.Protocol.Environment.RPC_path.context

val unparsing_mode_encoding : 
  Tezos_protocol_008_PtEdo2Zk.Protocol.Script_ir_translator.unparsing_mode
    Tezos_protocol_008_PtEdo2Zk.Protocol.Environment.Data_encoding.encoding

val run_code_input_encoding : 
  ((Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Script.expr
    * Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Script.expr
    * Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Script.expr
    * Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Tez.t
    * Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Tez.t
    * Tezos_protocol_008_PtEdo2Zk.Protocol.Environment.Chain_id.t
    * Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Contract.t option
    * Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Contract.t option
    * Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Gas.Arith.integral
        option
    * string)
   * Tezos_protocol_008_PtEdo2Zk.Protocol.Script_ir_translator.unparsing_mode)
    Tezos_protocol_008_PtEdo2Zk.Protocol.Environment.Data_encoding.encoding

val run_view_encoding : 
  (Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Contract.t
   * string
   * Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Script.expr
   * Tezos_protocol_008_PtEdo2Zk.Protocol.Environment.Chain_id.t
   * Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Contract.t option
   * Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Contract.t option
   * Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Gas.Arith.integral
       option
   * Tezos_protocol_008_PtEdo2Zk.Protocol.Script_ir_translator.unparsing_mode)
    Tezos_protocol_008_PtEdo2Zk.Protocol.Environment.Data_encoding.encoding

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

val rpc_services : 
  Environment_context.rpc_context
    Tezos_protocol_008_PtEdo2Zk.Protocol.Environment.RPC_directory.directory

val normalize_data : 
  ?legacy:bool ->
  data:Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Script.expr ->
  ty:Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Script.expr ->
  unparsing_mode:
    Tezos_protocol_008_PtEdo2Zk.Protocol.Script_ir_translator.unparsing_mode ->
  'a Tezos_protocol_008_PtEdo2Zk.Protocol.Environment.RPC_context.simple ->
  'a ->
  (Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Script.expr,
    Tezos_error_monad.TzCore.error list)
    result
    Lwt.t

val normalize_script : 
  'a Tezos_protocol_008_PtEdo2Zk.Protocol.Environment.RPC_context.simple ->
  'a ->
  script:Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Script.expr ->
  unparsing_mode:
    Tezos_protocol_008_PtEdo2Zk.Protocol.Script_ir_translator.unparsing_mode ->
  (Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Script.expr,
    Tezos_error_monad.TzCore.error list)
    result
    Lwt.t

val normalize_type : 
  'a Tezos_protocol_008_PtEdo2Zk.Protocol.Environment.RPC_context.simple ->
  'a ->
  ty:Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Script.expr ->
  (Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Script.expr,
    Tezos_error_monad.TzCore.error list)
    result
    Lwt.t

val get_storage_normalized : 
  'a Tezos_protocol_008_PtEdo2Zk.Protocol.Environment.RPC_context.simple ->
  'a ->
  contract:Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Contract.contract ->
  unparsing_mode:
    Tezos_protocol_008_PtEdo2Zk.Protocol.Script_ir_translator.unparsing_mode ->
  (Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Script.expr option,
    Tezos_error_monad.TzCore.error list)
    result
    Lwt.t

val get_script_normalized : 
  'a Tezos_protocol_008_PtEdo2Zk.Protocol.Environment.RPC_context.simple ->
  'a ->
  contract:Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Contract.contract ->
  unparsing_mode:
    Tezos_protocol_008_PtEdo2Zk.Protocol.Script_ir_translator.unparsing_mode ->
  (Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Script.t option,
    Tezos_error_monad.TzCore.error list)
    result
    Lwt.t

val run_code_normalized : 
  ?gas:Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Gas.Arith.integral ->
  ?entrypoint:string ->
  script:Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Script.expr ->
  storage:Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Script.expr ->
  input:Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Script.expr ->
  amount:Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Tez.t ->
  balance:Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Tez.t ->
  chain_id:Tezos_protocol_008_PtEdo2Zk.Protocol.Environment.Chain_id.t ->
  source:Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Contract.t option ->
  payer:Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Contract.t option ->
  unparsing_mode:
    Tezos_protocol_008_PtEdo2Zk.Protocol.Script_ir_translator.unparsing_mode ->
  'a Tezos_protocol_008_PtEdo2Zk.Protocol.Environment.RPC_context.simple ->
  'a ->
  (Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Script.expr
   * Tezos_raw_protocol_008_PtEdo2Zk__Alpha_context.packed_internal_operation
       list
   * Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Lazy_storage.diffs
       option,
    Tezos_error_monad.TzCore.error list)
    result
    Lwt.t

val run_view : 
  'a Tezos_protocol_008_PtEdo2Zk.Protocol.Environment.RPC_context.simple ->
  'a ->
  ?gas:Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Gas.Arith.integral ->
  contract:Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Contract.t ->
  entrypoint:string ->
  input:Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Script.expr ->
  chain_id:Tezos_protocol_008_PtEdo2Zk.Protocol.Environment.Chain_id.t ->
  source:Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Contract.t option ->
  payer:Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Contract.t option ->
  unparsing_mode:
    Tezos_protocol_008_PtEdo2Zk.Protocol.Script_ir_translator.unparsing_mode ->
  (Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Script.expr,
    Tezos_error_monad.TzCore.error list)
    result
    Lwt.t

val trace_code_normalized : 
  ?gas:Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Gas.Arith.integral ->
  ?entrypoint:string ->
  script:Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Script.expr ->
  storage:Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Script.expr ->
  input:Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Script.expr ->
  amount:Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Tez.t ->
  balance:Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Tez.t ->
  chain_id:Tezos_protocol_008_PtEdo2Zk.Protocol.Environment.Chain_id.t ->
  source:Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Contract.t option ->
  payer:Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Contract.t option ->
  unparsing_mode:
    Tezos_protocol_008_PtEdo2Zk.Protocol.Script_ir_translator.unparsing_mode ->
  'a Tezos_protocol_008_PtEdo2Zk.Protocol.Environment.RPC_context.simple ->
  'a ->
  (Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Script.expr
   * Tezos_raw_protocol_008_PtEdo2Zk__Alpha_context.packed_internal_operation
       list
   * (Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Script.location
      * Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Gas.t
      * (Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Script.expr
         * string option)
          list)
       list
   * Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Lazy_storage.diffs
       option,
    Tezos_error_monad.TzCore.error list)
    result
    Lwt.t

val big_map_get_normalized : 
  'a Tezos_protocol_008_PtEdo2Zk.Protocol.Environment.RPC_context.simple ->
  'a ->
  Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Big_map.Id.t ->
  Tezos_protocol_008_PtEdo2Zk.Protocol.Script_expr_hash.t ->
  unparsing_mode:
    Tezos_protocol_008_PtEdo2Zk.Protocol.Script_ir_translator.unparsing_mode ->
  (Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Script.expr,
    Tezos_error_monad.TzCore.error list)
    result
    Lwt.t

package tezos-protocol-plugin-008-PtEdo2Zk