module Resugar: sig .. end
This function converts an internal name to a possibly-qualified name
in the surface syntax.
val surface_print_var : TypeCore.env -> TypeCore.name -> Variable.name SurfaceSyntax.maybe_qualified
This function converts an internal name to a possibly-qualified name
in the surface syntax.
val resugar : TypeCore.env -> TypeCore.typ -> SurfaceSyntax.typ
This function converts a type expressed in the internal syntax back
to the surface syntax.