sig
  val check :
    TypeCore.env ->
    SurfaceSyntax.interface ->
    (Variable.name * Kind.kind * TypeCore.var) list -> TypeCore.env
  val import_interface :
    TypeCore.env -> Module.name -> SurfaceSyntax.interface -> TypeCore.env
end