Given the existence of SB-CLTL2:DEFINE-DECLARATION I would actually prefer to sanction sequential-order processing where the last declaration prevails.
Given the existence of SB-CLTL2: DEFINE- DECLARATION I would actually
prefer to sanction sequential-order processing where the last declaration
prevails.