Searched defs:Nb_P_Prims (Results 1 – 7 of 7) sorted by relevance
4076 Nb_P_Prims : constant Nat := Number_Of_Predefined_Prims (Typ); constant5911 Nb_P_Prims : constant Nat := Number_Of_Predefined_Prims (Typ); constant
4130 Nb_P_Prims : constant Nat := Number_Of_Predefined_Prims (Typ); constant5966 Nb_P_Prims : constant Nat := Number_Of_Predefined_Prims (Typ); constant
3947 Nb_P_Prims : constant Nat := Number_Of_Predefined_Prims (Typ); constant5788 Nb_P_Prims : constant Nat := Number_Of_Predefined_Prims (Typ); constant