package Halstead_Operand is

    --=================================================================
    -- This package contains the definition of Halstead operands.    ==
    -- Halstead_Operand does not export operations because derived   ==
    -- type inherits operations applicable to the parent type (i.e., ==
    -- String.                                                       ==
    --=================================================================

    type Definition is new String;

end Halstead_Operand;