src/Tools/Metis/src/Name.sig

removed obsolete Markup_Tree.flatten/filter;

(* ========================================================================= *)
(* NAMES                                                                     *)
(* Copyright (c) 2004-2006 Joe Hurd, distributed under the BSD License *)
(* ========================================================================= *)

signature Name =
sig

type name = string

val compare : name * name -> order

val pp : name Parser.pp

end