Module Mezzo2UntypedMezzo

module Mezzo2UntypedMezzo: sig .. end

val adopter_field : Variable.name

val translate_implementation : SurfaceSyntax.implementation -> UntypedMezzo.implementation

val translate_interface : SurfaceSyntax.interface -> UntypedMezzo.interface