Make (mavryk-benchmark-001-PtAtLas.Mavryk_benchmark_001

Parameters

module Michelson_base : Michelson_samplers_base.S

module Crypto_samplers : Mavryk_benchmark.Crypto_samplers.Finite_key_pool_S

Signature

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

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

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

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

val complete_data_list : 
  Mavryk_benchmark_001_PtAtLas.Kernel.Path.t ->
  int ->
  (Mavryk_benchmark_type_inference_001_PtAtLas.Mikhailsky.label,
    Mavryk_benchmark_type_inference_001_PtAtLas.Mikhailsky.head)
    Mavryk_micheline.Micheline.node
    list ->
  Mavryk_benchmark_type_inference_001_PtAtLas.Mikhailsky.node list ->
  Mavryk_benchmark_type_inference_001_PtAtLas.Mikhailsky.node list SM.t

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

val complete_code_list : 
  Mavryk_benchmark_001_PtAtLas.Kernel.Path.t ->
  int ->
  (Mavryk_benchmark_type_inference_001_PtAtLas.Mikhailsky.label,
    Mavryk_benchmark_type_inference_001_PtAtLas.Mikhailsky.head)
    Mavryk_micheline.Micheline.node
    list ->
  Mavryk_benchmark_type_inference_001_PtAtLas.Mikhailsky.node list ->
  Mavryk_benchmark_type_inference_001_PtAtLas.Mikhailsky.node list SM.t

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