example. 算术零乘法保留 unbound-name 异常[lp-zero-error]

(interpret (simplify '(* 0 missing)) '())

⇒ "expected exception: unbound-name" · checked