df-nel
Definition.
Arguments:
(st),
(coll),
Assertions:
((
)
(
))
(st), 
(coll), (st), (coll), 
)
(
))