sig
  val import_interface :
    TypeCore.env -> Module.name -> SurfaceSyntax.interface -> TypeCore.env
  val check : TypeCore.env -> SurfaceSyntax.interface -> TypeCore.env
end