Execution_context (mavryk-benchmark-001-PtAtLas.Mavryk_benchmark_001_PtAtLas.Execution

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

val initial_balance : int64

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

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

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