|
|
|---|
|
|
|
|---|
Recognize a true list of R1CS constraints.
;; A true list of r1cs-constraints (defun r1cs-constraint-listp (constraints) (declare (xargs :guard t)) (if (atom constraints) (equal constraints nil) (and (r1cs-constraintp (first constraints)) (r1cs-constraint-listp (rest constraints)))))