		Search-engine friendly clone of the ACL2 documentation.

R1cs-subset

R1cs-constraint-listp

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

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

This lifts r1cs-constraintp to lists.

Definitions and Theorems

Function: r1cs-constraint-listp

(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)))

Subtopics

R1cs-constraint-listp-basics: Basic theorems about r1cs-constraint-listp, generated by std::deflist.