tezos-protocol-005-PsBABY5H 19.0

val run_code : 
  'a Tezos_protocol_environment_005_PsBABY5H.RPC_context.simple ->
  'a ->
  Alpha_context.Script.expr ->
  (Alpha_context.Script.expr
   * Alpha_context.Script.expr
   * Alpha_context.Tez.t
   * Tezos_protocol_environment_005_PsBABY5H.Chain_id.t
   * Alpha_context.Contract.t option
   * Alpha_context.Contract.t option
   * Tezos_protocol_environment_005_PsBABY5H.Z.t option
   * string) ->
  (Alpha_context.Script.expr
   * Alpha_context.packed_internal_operation list
   * Alpha_context.Contract.big_map_diff option)
    Tezos_protocol_environment_005_PsBABY5H.Error_monad.shell_tzresult
    Tezos_protocol_environment_005_PsBABY5H.Lwt.t

val trace_code : 
  'a Tezos_protocol_environment_005_PsBABY5H.RPC_context.simple ->
  'a ->
  Alpha_context.Script.expr ->
  (Alpha_context.Script.expr
   * Alpha_context.Script.expr
   * Alpha_context.Tez.t
   * Tezos_protocol_environment_005_PsBABY5H.Chain_id.t
   * Alpha_context.Contract.t option
   * Alpha_context.Contract.t option
   * Tezos_protocol_environment_005_PsBABY5H.Z.t option
   * string) ->
  (Alpha_context.Script.expr
   * Alpha_context.packed_internal_operation list
   * Script_interpreter.execution_trace
   * Alpha_context.Contract.big_map_diff option)
    Tezos_protocol_environment_005_PsBABY5H.Error_monad.shell_tzresult
    Tezos_protocol_environment_005_PsBABY5H.Lwt.t

val typecheck_code : 
  'a Tezos_protocol_environment_005_PsBABY5H.RPC_context.simple ->
  'a ->
  (Alpha_context.Script.expr
   * Tezos_protocol_environment_005_PsBABY5H.Z.t option) ->
  (Script_tc_errors.type_map * Alpha_context.Gas.t)
    Tezos_protocol_environment_005_PsBABY5H.Error_monad.shell_tzresult
    Tezos_protocol_environment_005_PsBABY5H.Lwt.t

val typecheck_data : 
  'a Tezos_protocol_environment_005_PsBABY5H.RPC_context.simple ->
  'a ->
  (Alpha_context.Script.expr
   * Alpha_context.Script.expr
   * Tezos_protocol_environment_005_PsBABY5H.Z.t option) ->
  Alpha_context.Gas.t
    Tezos_protocol_environment_005_PsBABY5H.Error_monad.shell_tzresult
    Tezos_protocol_environment_005_PsBABY5H.Lwt.t

val pack_data : 
  'a Tezos_protocol_environment_005_PsBABY5H.RPC_context.simple ->
  'a ->
  (Alpha_context.Script.expr
   * Alpha_context.Script.expr
   * Tezos_protocol_environment_005_PsBABY5H.Z.t option) ->
  (Tezos_protocol_environment_005_PsBABY5H.MBytes.t * Alpha_context.Gas.t)
    Tezos_protocol_environment_005_PsBABY5H.Error_monad.shell_tzresult
    Tezos_protocol_environment_005_PsBABY5H.Lwt.t

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

val entrypoint_type : 
  'a Tezos_protocol_environment_005_PsBABY5H.RPC_context.simple ->
  'a ->
  (Alpha_context.Script.expr * string) ->
  Alpha_context.Script.expr
    Tezos_protocol_environment_005_PsBABY5H.Error_monad.shell_tzresult
    Tezos_protocol_environment_005_PsBABY5H.Lwt.t

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

package tezos-protocol-005-PsBABY5H