Searched refs:Positive_Ptr (Results 1 – 4 of 4) sorted by relevance
110 type Positive_Ptr is access all Positive; type111 for Positive_Ptr'Storage_Size use 0;113 Item_Ptr => Positive_Ptr);116 Value_Ptr => Positive_Ptr,
113 type Positive_Ptr is access all Positive; type114 for Positive_Ptr'Storage_Size use 0;116 Item_Ptr => Positive_Ptr,120 Value_Ptr => Positive_Ptr,
120 type Positive_Ptr is access all Positive; type121 for Positive_Ptr'Storage_Size use 0;123 Item_Ptr => Positive_Ptr,128 Value_Ptr => Positive_Ptr,
103 type Positive_Ptr is access all Positive; type104 for Positive_Ptr'Storage_Size use 0;107 Value_Ptr => Positive_Ptr,