|
|
|---|
|
|
|
|---|
Check if a list of PFCS constraints consists of R1CS constraints.
(r1cs-constraint-listp x) → std::bool
This lifts r1cs-constraintp to lists.
Function:
(defun r1cs-constraint-listp (x) (declare (xargs :guard (constraint-listp x))) (let ((__function__ 'r1cs-constraint-listp)) (declare (ignorable __function__)) (if (consp x) (and (r1cs-constraintp (car x)) (r1cs-constraint-listp (cdr x))) t)))