(pprdot) → *
Function: pprdot$inline
(defun pprdot$inline nil (declare (xargs :guard t)) (let ((acl2::__function__ 'pprdot)) (declare (ignorable acl2::__function__)) (make-pinst-dot :width 1)))
