|
|
|---|
|
|
|
|---|
Check if a list of PFCS definitions consist of structured R1CS constraints.
(sr1cs-definition-listp x) → std::bool
This lifts sr1cs-definitionp to lists.
Function:
(defun sr1cs-definition-listp (x) (declare (xargs :guard (definition-listp x))) (let ((__function__ 'sr1cs-definition-listp)) (declare (ignorable __function__)) (if (consp x) (and (sr1cs-definitionp (car x)) (sr1cs-definition-listp (cdr x))) t)))