True if tree is nonleaf for rule
(is-tree-rulename? tree rulename-string) → yes/no
Does not details of the internal structure.
Function:
(defun is-tree-rulename? (tree rulename-string) (declare (xargs :guard (and (abnf::treep tree) (stringp rulename-string)))) (let ((__function__ 'is-tree-rulename?)) (declare (ignorable __function__)) (and (abnf::treep tree) (abnf::tree-case tree :nonleaf) (equal (abnf::tree-nonleaf->rulename? tree) (abnf::rulename rulename-string)))))
Theorem:
(defthm booleanp-of-is-tree-rulename? (b* ((yes/no (is-tree-rulename? tree rulename-string))) (booleanp yes/no)) :rule-classes :rewrite)