(defun atj-gen-shallow-synonym-methods (fn fns-that-may-throw fn-types pkg-class-names fn-method-names wrld) (declare (xargs :guard (and (symbolp fn) ...
確定! 回上一頁