Make (tezos-benchmark-023-PtSeouLo.Tezos_benchmark_023

Parameters

module Michelson_base : Michelson_samplers_base.S

module Crypto_samplers : Crypto_samplers.Finite_key_pool_S

Signature

val generate_data : 
  Tezos_benchmark_type_inference_023_PtSeouLo.Type.Base.t ->
  Tezos_benchmark_type_inference_023_PtSeouLo.Mikhailsky.node SM.t

val invent_term : 
  Tezos_benchmark_type_inference_023_PtSeouLo.Type.Stack.t ->
  Tezos_benchmark_type_inference_023_PtSeouLo.Type.Stack.t ->
  Tezos_benchmark_type_inference_023_PtSeouLo.Mikhailsky.node list SM.t

val drop_stack : 
  Tezos_benchmark_type_inference_023_PtSeouLo.Type.Stack.t ->
  Tezos_benchmark_type_inference_023_PtSeouLo.Mikhailsky.node list ->
  Tezos_benchmark_type_inference_023_PtSeouLo.Mikhailsky.node list

val install_dummy_stack : 
  Tezos_benchmark_type_inference_023_PtSeouLo.Type.Stack.t ->
  Tezos_benchmark_type_inference_023_PtSeouLo.Mikhailsky.node list ->
  Tezos_benchmark_type_inference_023_PtSeouLo.Mikhailsky.node list SM.t

val complete_data_list : 
  Tezos_benchmark_023_PtSeouLo.Kernel.Path.t ->
  int ->
  (Tezos_benchmark_type_inference_023_PtSeouLo.Mikhailsky.label,
    Tezos_benchmark_type_inference_023_PtSeouLo.Mikhailsky.head)
    Tezos_micheline.Micheline.node
    list ->
  Tezos_benchmark_type_inference_023_PtSeouLo.Mikhailsky.node list ->
  Tezos_benchmark_type_inference_023_PtSeouLo.Mikhailsky.node list SM.t

val complete_data : 
  Tezos_benchmark_type_inference_023_PtSeouLo__Inference.state ->
  Tezos_benchmark_type_inference_023_PtSeouLo.Mikhailsky.node ->
  Stdlib.Random.State.t ->
  Tezos_benchmark_type_inference_023_PtSeouLo.Mikhailsky.node
  * Tezos_benchmark_type_inference_023_PtSeouLo.Type.Base.t

val complete_code_list : 
  Tezos_benchmark_023_PtSeouLo.Kernel.Path.t ->
  int ->
  (Tezos_benchmark_type_inference_023_PtSeouLo.Mikhailsky.label,
    Tezos_benchmark_type_inference_023_PtSeouLo.Mikhailsky.head)
    Tezos_micheline.Micheline.node
    list ->
  Tezos_benchmark_type_inference_023_PtSeouLo.Mikhailsky.node list ->
  Tezos_benchmark_type_inference_023_PtSeouLo.Mikhailsky.node list SM.t

val complete_code : 
  Tezos_benchmark_type_inference_023_PtSeouLo__Inference.state ->
  Tezos_benchmark_type_inference_023_PtSeouLo.Mikhailsky.node ->
  Stdlib.Random.State.t ->
  Tezos_benchmark_type_inference_023_PtSeouLo.Mikhailsky.node
  * (Tezos_benchmark_type_inference_023_PtSeouLo.Type.Stack.t
     * Tezos_benchmark_type_inference_023_PtSeouLo.Type.Stack.t)
  * Tezos_benchmark_type_inference_023_PtSeouLo__Inference.state