Calls ensure-list-has-no-duplicates with ctx and state as the last two arguments.
Macro: ensure-list-has-no-duplicates$
(defmacro ensure-list-has-no-duplicates$ (list description error-erp error-val) (list 'ensure-list-has-no-duplicates list description error-erp error-val 'ctx 'state))