		Search-engine friendly clone of the ACL2 documentation.

Statement-list

Fixtype of lists of Leo statements.

This is an ordinary fty::deflist.

Statement-list-equiv: Basic equivalence relation for statement-list structures.
Statement-listp: (statement-listp x) recognizes lists where every element satisfies statementp.
Statement-list-fix: (statement-list-fix x) is a usual ACL2::fty list fixing function.