TPDB.DP.Usable

restrict

usable

fixpoint

required

needed