functor (L : AT_LOOKUP-> DN_string