generic

    type Predicates_Count is range <>;

package Mccabe_Cyclomatic_Complexity is

    --========================================================================
    -- McCabe vG = PI + 1
    --========================================================================

    type Number is new Positive;
    procedure Of_Any_Program_Unit
                 (Pi : in Predicates_Count; Vg : in out Number);

end Mccabe_Cyclomatic_Complexity;