(*
    HLins: insert http-links into HTML documents.
    See http://www.lri.fr/~treinen/hlins

    Copyright (C) 1999 Ralf Treinen <treinen@lri.fr>

    This program is free software; you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
    the Free Software Foundation; either version 2 of the License, or
    (at your option) any later version.

    This program is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    GNU General Public License for more details.

    You should have received a copy of the GNU General Public License
    along with this program; if not, write to the Free Software
    Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA

*)


(**************************************************************************)
(* useful operations on names                                             *)
(**************************************************************************)


(* (abbreviate s) returns a pair consisting of

   - the list of abbreviations of a string, having as first element s
     itself (hence the list is always non-empty).  

   - an upper bound of the number of nodes that are taken when all
     abbreviations of s are arranged in a tree ( without the root
     node). It takes into account the fact that the abbreviation of a
     composite family name does not count (since it is a prefix of the
     full familyname).
*)

val abbreviate : string -> string list * int ;;














