Mikhailsky_to_michelson (mavryk-benchmark-001-PtAtLas.Mavryk_benchmark_001_PtAtLas.Mikhailsky_to

exception Cannot_get_type of Mavryk_benchmark_type_inference_001_PtAtLas.Mikhailsky.node
  * Mavryk_benchmark_001_PtAtLas.Kernel.Path.t

exception Unexpected_stack_type of string

exception Unexpected_base_type

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

val project_top : 
  Mavryk_benchmark_type_inference_001_PtAtLas.Type.Stack.t ->
  Mavryk_benchmark_type_inference_001_PtAtLas__Type.Base.t_node
    Hashcons.hash_consed

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

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

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

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

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

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

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

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

val convert : 
  Mavryk_benchmark_type_inference_001_PtAtLas.Mikhailsky.node ->
  Mavryk_benchmark_type_inference_001_PtAtLas__Inference.state ->
  (int, Mavryk_protocol_001_PtAtLas.Protocol.Michelson_v1_primitives.prim)
    Mavryk_micheline.Micheline.node