		Search-engine friendly clone of the ACL2 documentation.

R1cs-subset

Sr1cs-constraint-listp

Check if a list of PFCS constraints consists of structured R1CS constraints.

Signature
(sr1cs-constraint-listp x) → std::bool

This lifts sr1cs-constraintp to lists.

Definitions and Theorems

Function: sr1cs-constraint-listp

(defun sr1cs-constraint-listp (x)
  (declare (xargs :guard (constraint-listp x)))
  (let ((__function__ 'sr1cs-constraint-listp))
    (declare (ignorable __function__))
    (if (consp x)
        (and (sr1cs-constraintp (car x))
             (sr1cs-constraint-listp (cdr x)))
      t)))

Subtopics

Sr1cs-constraint-listp-basics: Basic theorems about sr1cs-constraint-listp, generated by std::deflist.