Autocomp (tezos-benchmark-alpha.Tezos_benchmark

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

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

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

type error_case =

| Cannot_complete_data of Tezos_benchmark_type_inference_alpha.Mikhailsky.node * Tezos_benchmark_alpha.Kernel.Path.t
| Cannot_complete_code of Tezos_benchmark_type_inference_alpha.Mikhailsky.node * Tezos_benchmark_alpha.Kernel.Path.t

exception Autocompletion_error of error_case

val cannot_complete_data : 
  Tezos_benchmark_type_inference_alpha.Mikhailsky.node ->
  Tezos_benchmark_alpha.Kernel.Path.t ->
  'a

val cannot_complete_code : 
  Tezos_benchmark_type_inference_alpha.Mikhailsky.node ->
  Tezos_benchmark_alpha.Kernel.Path.t ->
  'a

val default_comparable_type : Tezos_benchmark_type_inference_alpha.Type.Base.t

val generate_comparable : 
  'a ->
  (Tezos_micheline_rewriting.Micheline_with_hash_consing.hcons_info,
    Tezos_benchmark_type_inference_alpha.Mikhailsky_prim.prim)
    Tezos_micheline.Micheline.node

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

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

val instantiate_and_set_stack : 
  Tezos_benchmark_type_inference_alpha.Type.Stack.t ->
  Tezos_benchmark_type_inference_alpha.Type.Stack.t
    Tezos_benchmark_type_inference_alpha.Inference.M.t

module SM : sig ... end

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