俱舍論記 1.97

1.97

「或名有離至有彼離故」者，此有為法亦名有離。離謂永離，即是涅槃，以此涅槃永能捨離一切有為，一切有為有彼離故。如有財者名為有財，是故聖道猶如船筏，亦應捨離。如契經言：法尚應捨，何況非法。

Regarding "Or they are called having detachment ... because they have that detachment": these conditioned dharmas are also called "having detachment" (sanirgamāḥ). "Detachment" refers to perpetual detachment, which is nirvāṇa, because this nirvāṇa is perpetually able to abandon all conditioned [dharmas], and all conditioned [dharmas] have that detachment. Just as one who possesses wealth is called "wealthy", so too the noble path is like a raft and should also be abandoned. As the sūtra states: "Even dharmas must be abandoned, how much more non-dharmas."