Module Tezos_benchmark_024_PsU87LFi.Mikhailsky_to_michelson

exception Unexpected_stack_type of string
exception Unexpected_base_type
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