Make (tezos-benchmark-022-PsRiotum.Tezos_benchmark_022

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_022_PsRiotum.Type.Base.t ->
  Tezos_benchmark_type_inference_022_PsRiotum.Mikhailsky.node SM.t

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

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

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

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

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

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

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