Definition des Moduls UniqueNames

  DEFINITION UniqueNames;

     IMPORT Names, Shards;

     PROCEDURE Insert(node, subnode: Names.Node; auth: Shards.Lid;
                      VAR name: Names.Name): BOOLEAN;

  END UniqueNames.