tezos-protocol-008-PtEdoTez 20.1 (latest)

module Traced_interpreter : sig ... end

val run_code : 
  'a Tezos_protocol_environment_008_PtEdoTez.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_protocol_environment_008_PtEdoTez.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_protocol_environment_008_PtEdoTez.Error_monad.shell_tzresult
    Tezos_protocol_environment_008_PtEdoTez.Lwt.t

val trace_code : 
  'a Tezos_protocol_environment_008_PtEdoTez.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_protocol_environment_008_PtEdoTez.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_protocol_environment_008_PtEdoTez.Error_monad.shell_tzresult
    Tezos_protocol_environment_008_PtEdoTez.Lwt.t

val typecheck_code : 
  'a Tezos_protocol_environment_008_PtEdoTez.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_protocol_environment_008_PtEdoTez.Error_monad.shell_tzresult
    Tezos_protocol_environment_008_PtEdoTez.Lwt.t

val typecheck_data : 
  'a Tezos_protocol_environment_008_PtEdoTez.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_protocol_environment_008_PtEdoTez.Error_monad.shell_tzresult
    Tezos_protocol_environment_008_PtEdoTez.Lwt.t

val pack_data : 
  'a Tezos_protocol_environment_008_PtEdoTez.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_protocol_environment_008_PtEdoTez.Error_monad.shell_tzresult
    Tezos_protocol_environment_008_PtEdoTez.Lwt.t

val run_operation : 
  'a Tezos_protocol_environment_008_PtEdoTez.RPC_context.simple ->
  'a ->
  op:Alpha_context.packed_operation ->
  chain_id:Tezos_protocol_environment_008_PtEdoTez.Chain_id.t ->
  (Alpha_context.packed_protocol_data * Apply_results.packed_operation_metadata)
    Tezos_protocol_environment_008_PtEdoTez.Error_monad.shell_tzresult
    Tezos_protocol_environment_008_PtEdoTez.Lwt.t

val entrypoint_type : 
  'a Tezos_protocol_environment_008_PtEdoTez.RPC_context.simple ->
  'a ->
  script:Alpha_context.Script.expr ->
  entrypoint:string ->
  Alpha_context.Script.expr
    Tezos_protocol_environment_008_PtEdoTez.Error_monad.shell_tzresult
    Tezos_protocol_environment_008_PtEdoTez.Lwt.t

val list_entrypoints : 
  'a Tezos_protocol_environment_008_PtEdoTez.RPC_context.simple ->
  'a ->
  script:Alpha_context.Script.expr ->
  (Michelson_v1_primitives.prim list list
   * (string * Alpha_context.Script.expr) list)
    Tezos_protocol_environment_008_PtEdoTez.Error_monad.shell_tzresult
    Tezos_protocol_environment_008_PtEdoTez.Lwt.t

package tezos-protocol-008-PtEdoTez