-- This package provides some useful subtypes of strings.
--
-- Mismatches between subtypes will not be caught at compile time,
-- but consistent use of this subtypes allows lexical mismatches to
-- be detected by human beings.
--
-- This package is most effective when directly visible via a "use"
-- clause.
--
package Subtypes is

    subtype User_Name is String;

    subtype Simple_Name is String; -- One segment of pathname.

    subtype Full_Name is String; -- Fully-qualified pathname.

end Subtypes;