sig
  val surface_print_var :
    TypeCore.env ->
    TypeCore.name -> Variable.name SurfaceSyntax.maybe_qualified
  val resugar : TypeCore.env -> TypeCore.typ -> SurfaceSyntax.typ
end