Autocomp (mavryk-benchmark-001-PtAtLas.Mavryk_benchmark_001

val stack_length : 
  Mavryk_benchmark_type_inference_001_PtAtLas.Type.Stack.t ->
  int ->
  int

val sort_set_elements : 
  ('a,
    Mavryk_benchmark_type_inference_001_PtAtLas.Mikhailsky.Mikhailsky_signature.t)
    Mavryk_micheline.Micheline.node
    list ->
  ('a,
    Mavryk_benchmark_type_inference_001_PtAtLas.Mikhailsky.Mikhailsky_signature.t)
    Mavryk_micheline.Micheline.node
    list

val sort_map_elements : 
  ('a, Mavryk_benchmark_type_inference_001_PtAtLas.Mikhailsky_prim.prim)
    Mavryk_micheline.Micheline.node
    list ->
  ('a, Mavryk_benchmark_type_inference_001_PtAtLas.Mikhailsky_prim.prim)
    Mavryk_micheline.Micheline.node
    list

type error_case =

| Cannot_complete_data of Mavryk_benchmark_type_inference_001_PtAtLas.Mikhailsky.node * Mavryk_benchmark_001_PtAtLas.Kernel.Path.t
| Cannot_complete_code of Mavryk_benchmark_type_inference_001_PtAtLas.Mikhailsky.node * Mavryk_benchmark_001_PtAtLas.Kernel.Path.t

exception Autocompletion_error of error_case

val cannot_complete_data : 
  Mavryk_benchmark_type_inference_001_PtAtLas.Mikhailsky.node ->
  Mavryk_benchmark_001_PtAtLas.Kernel.Path.t ->
  'a

val cannot_complete_code : 
  Mavryk_benchmark_type_inference_001_PtAtLas.Mikhailsky.node ->
  Mavryk_benchmark_001_PtAtLas.Kernel.Path.t ->
  'a

val default_comparable_type : 
  Mavryk_benchmark_type_inference_001_PtAtLas.Type.Base.t

val generate_comparable : 
  'a ->
  (Mavryk_micheline_rewriting.Micheline_with_hash_consing.hcons_info,
    Mavryk_benchmark_type_inference_001_PtAtLas.Mikhailsky_prim.prim)
    Mavryk_micheline.Micheline.node

val instantiate_and_set : 
  Mavryk_benchmark_type_inference_001_PtAtLas.Type.Base.t ->
  Mavryk_benchmark_type_inference_001_PtAtLas.Type.Base.t
    Mavryk_benchmark_type_inference_001_PtAtLas.Inference.M.t

val replace_vars : 
  Mavryk_benchmark_type_inference_001_PtAtLas.Type.Base.t ->
  Mavryk_benchmark_type_inference_001_PtAtLas.Type.Base.t
    Mavryk_benchmark_type_inference_001_PtAtLas.Inference.M.t

val instantiate_and_set_stack : 
  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.M.t

module SM : sig ... end

module Make
  (Michelson_base : Michelson_samplers_base.S)
  (Crypto_samplers : Mavryk_benchmark.Crypto_samplers.Finite_key_pool_S) : 
  sig ... end