Searched refs:Smart_Pointer_Type (Results 1 – 10 of 10) sorted by relevance
10 type Smart_Pointer_Type is private; type12 type Smart_Pointer_Type type19 type Smart_Pointer_Type is private; type22 type Smart_Pointer_Type is new S.Smart_Pointer_Type; type31 type Fat_Reference_Type is new Smarts.Smart_Pointer_Type;
10 type Smart_Pointer_Type is private;12 type Smart_Pointer_Type19 type Smart_Pointer_Type is private;22 type Smart_Pointer_Type is new S.Smart_Pointer_Type;31 type Fat_Reference_Type is new Smarts.Smart_Pointer_Type;