Execution_context (tezos-benchmark-025-PsUshuai.Tezos_benchmark_025_PsUshuai.Execution

type context =
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.context
  * Tezos_protocol_025_PsUshuai.Protocol.Script_interpreter.step_constants

val initial_balance : int64

val context_init_memory : 
  ?dal:
    Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Constants.Parametric.dal ->
  rng_state:Stdlib.Random.State.t ->
  unit ->
  ([> `Mem_block of
        Tezos_025_PsUshuai_test_helpers.Block.t
        * (Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Contract.t
           * Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Contract.t
           * Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Contract.t
           * Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Contract.t
           * Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Contract.t) ],
    Tezos_base.TzPervasives.tztrace)
    Stdlib.result
    Lwt.t

val context_init : 
  ?dal:
    Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Constants.Parametric.dal ->
  rng_state:Stdlib.Random.State.t ->
  unit ->
  ([> `Mem_block of
        Tezos_025_PsUshuai_test_helpers.Block.t
        * (Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Contract.t
           * Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Contract.t
           * Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Contract.t
           * Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Contract.t
           * Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Contract.t) ],
    Tezos_base.TzPervasives.tztrace)
    Stdlib.result
    Lwt.t

val make : 
  ?dal:
    Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Constants.Parametric.dal ->
  rng_state:Stdlib.Random.State.t ->
  unit ->
  (Tezos_raw_protocol_025_PsUshuai__Alpha_context.t
   * Tezos_protocol_025_PsUshuai.Protocol.Script_interpreter.step_constants,
    Tezos_base.TzPervasives.tztrace)
    Stdlib.result
    Lwt.t