Mikhailsky_to_michelson (mavryk-benchmark-alpha.Mavryk_benchmark_alpha.Mikhailsky_to

exception Cannot_get_type of Mavryk_benchmark_type_inference_alpha.Mikhailsky.node
  * Mavryk_benchmark_alpha.Kernel.Path.t

exception Unexpected_stack_type of string

exception Unexpected_base_type

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

val project_top : 
  Mavryk_benchmark_type_inference_alpha.Type.Stack.t ->
  Mavryk_benchmark_type_inference_alpha__Type.Base.t_node Hashcons.hash_consed

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

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

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

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

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

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

val convert_raw : 
  Mavryk_benchmark_type_inference_alpha.Mikhailsky.node ->
  (int, Mavryk_protocol_alpha.Protocol.Michelson_v1_primitives.prim)
    Mavryk_micheline.Micheline.node

val convert_list : 
  Mavryk_benchmark_alpha.Kernel.Path.t ->
  int ->
  (Mavryk_benchmark_type_inference_alpha.Mikhailsky.label,
    Mavryk_benchmark_type_inference_alpha.Mikhailsky.head)
    Mavryk_micheline.Micheline.node
    list ->
  (int, Mavryk_protocol_alpha.Protocol.Michelson_v1_primitives.prim)
    Mavryk_micheline.Micheline.node
    list ->
  (int, Mavryk_protocol_alpha.Protocol.Michelson_v1_primitives.prim)
    Mavryk_micheline.Micheline.node
    list
    Mavryk_benchmark_type_inference_alpha.Inference.M.t

val convert : 
  Mavryk_benchmark_type_inference_alpha.Mikhailsky.node ->
  Mavryk_benchmark_type_inference_alpha__Inference.state ->
  (int, Mavryk_protocol_alpha.Protocol.Michelson_v1_primitives.prim)
    Mavryk_micheline.Micheline.node