generic

    type Unique_Operand_Count is range <>;
    type Unique_Operator_Count is range <>;

package Halstead_Vocabulary_Size is

    --========================================================================
    -- Halstead n = n1 + n2
    --========================================================================

    type Result is new Natural;
    procedure Of_Any_Program_Unit (N1 : in Unique_Operator_Count;
                                   N2 : in Unique_Operand_Count;
                                   N : out Result);

end Halstead_Vocabulary_Size;