PRINT-OBJECT$

See io. 
Major Section: ACL2-BUILT-INS




AltStyle によって変換されたページ (->オリジナル) /