functor
(
L
:
AT_LOOKUP
)
->
DN_string