		Search-engine friendly clone of the ACL2 documentation.

Deftreeops-info

Information about the events generated by deftreeops.

As discussed in deftreeops-implementation, this is generated in the first pass. The events themselves are generated in the second pass.

Deftreeops-rulename-info: Fixtype of deftreeops information about a rule name.
Deftreeops-conc-info: Fixtype of deftreeops information about a concatenation in the defining alternation of a rule name.
Deftreeops-rep-info: Fixtype of deftreeops information about a repetition in a concatenation in the defining alternation of a rule name.
Deftreeops-numrange-info: Fixtype of deftreeops information about numeric ranges.
Deftreeops-charval-info: Fixtype of deftreeops information about character value notation.
Deftreeops-rep-info-list: Fixtype of deftreeops information about the list of repetitions that form a concatenation in the defining alternation of a rule name.
Deftreeops-conc-info-list: Fixtype of deftreeops information about the list of concatenations that form the defining alternation of a rule name.
Deftreeops-charval-info-alist: Fixtype of alists from character value notations to information about them.
Deftreeops-rulename-info-alist: Fixtype of alists from rule names to information about rule names.
Deftreeops-numrange-info-alist: Fixtype of alists from numeric ranges to information about them.