example. 算术模块组合保留 unbound-name 异常[lp-import-error]

(simplify-and-run '(* 0 missing) '())

⇒ "expected exception: unbound-name" · checked