Tezos_benchmark_024_PsU87LFi.Mikhailsky_to_michelson
exception Cannot_get_type of Tezos_benchmark_type_inference_024_PsU87LFi.Mikhailsky.node
* Tezos_benchmark_024_PsU87LFi.Kernel.Path.t
val project_top :
Tezos_benchmark_type_inference_024_PsU87LFi.Type.Stack.t ->
Tezos_benchmark_type_inference_024_PsU87LFi__Type.Base.t_node
Hashcons.hash_consed
val convert_list :
Tezos_benchmark_024_PsU87LFi.Kernel.Path.t ->
int ->
(Tezos_benchmark_type_inference_024_PsU87LFi.Mikhailsky.label,
Tezos_benchmark_type_inference_024_PsU87LFi.Mikhailsky.head)
Tezos_micheline.Micheline.node
list ->
(int, Tezos_protocol_024_PsU87LFi.Protocol.Michelson_v1_primitives.prim)
Tezos_micheline.Micheline.node
list ->
(int, Tezos_protocol_024_PsU87LFi.Protocol.Michelson_v1_primitives.prim)
Tezos_micheline.Micheline.node
list
Tezos_benchmark_type_inference_024_PsU87LFi.Inference.M.t
val convert :
Tezos_benchmark_type_inference_024_PsU87LFi.Mikhailsky.node ->
Tezos_benchmark_type_inference_024_PsU87LFi__Inference.state ->
(int, Tezos_protocol_024_PsU87LFi.Protocol.Michelson_v1_primitives.prim)
Tezos_micheline.Micheline.node