Mikhailsky_to_michelson (tezos-benchmark-alpha.Tezos_benchmark_alpha.Mikhailsky_to

exception Cannot_get_type of Tezos_benchmark_type_inference_alpha.Mikhailsky.node
  * Tezos_benchmark_alpha.Kernel.Path.t

exception Unexpected_stack_type of string

exception Unexpected_base_type

val unparse_type : 
  Tezos_benchmark_type_inference_alpha.Type.Base.t ->
  Tezos_benchmark_type_inference_alpha.Mikhailsky.node

val project_top : 
  Tezos_benchmark_type_inference_alpha.Type.Stack.t ->
  Tezos_benchmark_type_inference_alpha__Type.Base.t_node Hashcons.hash_consed

val project_or : 
  Tezos_benchmark_type_inference_alpha.Type.Stack.t ->
  Tezos_benchmark_type_inference_alpha.Type.Base.t
  * Tezos_benchmark_type_inference_alpha.Type.Base.t

val project_lambda : 
  Tezos_benchmark_type_inference_alpha.Type.Stack.t ->
  Tezos_benchmark_type_inference_alpha.Type.Base.t
  * Tezos_benchmark_type_inference_alpha.Type.Base.t

val project_list : 
  Tezos_benchmark_type_inference_alpha.Type.Stack.t ->
  Tezos_benchmark_type_inference_alpha.Type.Base.t

val project_set : 
  Tezos_benchmark_type_inference_alpha.Type.Stack.t ->
  Tezos_benchmark_type_inference_alpha.Type.Base.t

val project_map : 
  Tezos_benchmark_type_inference_alpha.Type.Stack.t ->
  Tezos_benchmark_type_inference_alpha.Type.Base.t
  * Tezos_benchmark_type_inference_alpha.Type.Base.t

val project_option : 
  Tezos_benchmark_type_inference_alpha.Type.Stack.t ->
  Tezos_benchmark_type_inference_alpha.Type.Base.t

val convert_raw : 
  Tezos_benchmark_type_inference_alpha.Mikhailsky.node ->
  (int, Tezos_protocol_alpha.Protocol.Michelson_v1_primitives.prim)
    Tezos_micheline.Micheline.node

val convert_list : 
  Tezos_benchmark_alpha.Kernel.Path.t ->
  int ->
  (Tezos_benchmark_type_inference_alpha.Mikhailsky.label,
    Tezos_benchmark_type_inference_alpha.Mikhailsky.head)
    Tezos_micheline.Micheline.node
    list ->
  (int, Tezos_protocol_alpha.Protocol.Michelson_v1_primitives.prim)
    Tezos_micheline.Micheline.node
    list ->
  (int, Tezos_protocol_alpha.Protocol.Michelson_v1_primitives.prim)
    Tezos_micheline.Micheline.node
    list
    Tezos_benchmark_type_inference_alpha.Inference.M.t

val convert : 
  Tezos_benchmark_type_inference_alpha.Mikhailsky.node ->
  Tezos_benchmark_type_inference_alpha__Inference.state ->
  (int, Tezos_protocol_alpha.Protocol.Michelson_v1_primitives.prim)
    Tezos_micheline.Micheline.node