generic

    type Total_Operands is range <>;
    type Total_Operators is range <>;

package Halstead_Program_Length is

    --========================================================================
    -- Halstead N = N1 + N2
    --========================================================================

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

end Halstead_Program_Length;