Mikhailsky_to_michelson (tezos-benchmark-025-PsUshuai.Tezos_benchmark_025_PsUshuai.Mikhailsky_to

exception Cannot_get_type of Tezos_benchmark_type_inference_025_PsUshuai.Mikhailsky.node
  * Tezos_benchmark_025_PsUshuai.Kernel.Path.t

exception Unexpected_stack_type of string

exception Unexpected_base_type

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

val project_top : 
  Tezos_benchmark_type_inference_025_PsUshuai.Type.Stack.t ->
  Tezos_benchmark_type_inference_025_PsUshuai__Type.Base.t_node
    Hashcons.hash_consed

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

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

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

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

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

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

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

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

val convert : 
  Tezos_benchmark_type_inference_025_PsUshuai.Mikhailsky.node ->
  Tezos_benchmark_type_inference_025_PsUshuai__Inference.state ->
  (int, Tezos_protocol_025_PsUshuai.Protocol.Michelson_v1_primitives.prim)
    Tezos_micheline.Micheline.node