• Top

• Statement

Statementp

Recognizer for statement structures.

Signature

(statementp x) → *

Definitions and Theorems

Theorem: consp-when-statementp

(defthm consp-when-statementp
  (implies (statementp x) (consp x))
  :rule-classes :compound-recognizer)