tezos-protocol-008-PtEdoTez 9.7

module Traced_interpreter : sig ... end

val run_code : 
  'a Tezos_protocol_environment_008_PtEdoTez__Environment.RPC_context.simple ->
  'a ->
  ?gas:Alpha_context.Gas.Arith.integral ->
  ?entrypoint:string ->
  script:Alpha_context.Script.expr ->
  storage:Alpha_context.Script.expr ->
  input:Alpha_context.Script.expr ->
  amount:Alpha_context.Tez.t ->
  balance:Alpha_context.Tez.t ->
  chain_id:Tezos_base__TzPervasives.Chain_id.t ->
  source:Alpha_context.Contract.t option ->
  payer:Alpha_context.Contract.t option ->
  (Alpha_context.Script.expr
   * Alpha_context.packed_internal_operation list
   * Alpha_context.Lazy_storage.diffs option,
    Tezos_base__TzPervasives.Error_monad.error list)
    Stdlib.result
    Lwt.t

val trace_code : 
  'a Tezos_protocol_environment_008_PtEdoTez__Environment.RPC_context.simple ->
  'a ->
  ?gas:Alpha_context.Gas.Arith.integral ->
  ?entrypoint:string ->
  script:Alpha_context.Script.expr ->
  storage:Alpha_context.Script.expr ->
  input:Alpha_context.Script.expr ->
  amount:Alpha_context.Tez.t ->
  balance:Alpha_context.Tez.t ->
  chain_id:Tezos_base__TzPervasives.Chain_id.t ->
  source:Alpha_context.Contract.t option ->
  payer:Alpha_context.Contract.t option ->
  (Alpha_context.Script.expr
   * Alpha_context.packed_internal_operation list
   * Script_interpreter.execution_trace
   * Alpha_context.Lazy_storage.diffs option,
    Tezos_base__TzPervasives.Error_monad.error list)
    Stdlib.result
    Lwt.t

val typecheck_code : 
  'a Tezos_protocol_environment_008_PtEdoTez__Environment.RPC_context.simple ->
  'a ->
  ?gas:Alpha_context.Gas.Arith.integral ->
  ?legacy:bool ->
  script:Alpha_context.Script.expr ->
  (Script_tc_errors.type_map * Alpha_context.Gas.t,
    Tezos_base__TzPervasives.Error_monad.error list)
    Stdlib.result
    Lwt.t

val typecheck_data : 
  'a Tezos_protocol_environment_008_PtEdoTez__Environment.RPC_context.simple ->
  'a ->
  ?gas:Alpha_context.Gas.Arith.integral ->
  ?legacy:bool ->
  data:Alpha_context.Script.expr ->
  ty:Alpha_context.Script.expr ->
  (Alpha_context.Gas.t, Tezos_base__TzPervasives.Error_monad.error list)
    Stdlib.result
    Lwt.t

val pack_data : 
  'a Tezos_protocol_environment_008_PtEdoTez__Environment.RPC_context.simple ->
  'a ->
  ?gas:Alpha_context.Gas.Arith.integral ->
  data:Alpha_context.Script.expr ->
  ty:Alpha_context.Script.expr ->
  (bytes * Alpha_context.Gas.t,
    Tezos_base__TzPervasives.Error_monad.error list)
    Stdlib.result
    Lwt.t

val run_operation : 
  'a Tezos_protocol_environment_008_PtEdoTez__Environment.RPC_context.simple ->
  'a ->
  op:Alpha_context.packed_operation ->
  chain_id:Tezos_base__TzPervasives.Chain_id.t ->
  (Alpha_context.packed_protocol_data * Apply_results.packed_operation_metadata,
    Tezos_base__TzPervasives.Error_monad.error list)
    Stdlib.result
    Lwt.t

val entrypoint_type : 
  'a Tezos_protocol_environment_008_PtEdoTez__Environment.RPC_context.simple ->
  'a ->
  script:Alpha_context.Script.expr ->
  entrypoint:string ->
  (Alpha_context.Script.expr, Tezos_base__TzPervasives.Error_monad.error list)
    Stdlib.result
    Lwt.t

val list_entrypoints : 
  'a Tezos_protocol_environment_008_PtEdoTez__Environment.RPC_context.simple ->
  'a ->
  script:Alpha_context.Script.expr ->
  (Michelson_v1_primitives.prim list list
   * (string * Alpha_context.Script.expr) list,
    Tezos_base__TzPervasives.Error_monad.error list)
    Stdlib.result
    Lwt.t

package tezos-protocol-008-PtEdoTez