Abbreviation for n-ary multiplication in the BabyJubjub prime field.
Macro: pfmulall
(defmacro pfmulall (&rest rst) (if rst (if (cdr rst) (xxxjoin 'pfmul rst) (cons 'pfmul (cons 1 (cons (car rst) nil)))) 1))
