with DDS.ReadCondition;
package DDS.IndexCondition is
type Ref is limited interface and DDS.ReadCondition.RefTo API docTo spec;
type Ref_Access is access all RefTo API docTo spec'Class with Storage_Size => 0;
end DDS.IndexCondition;