|
|
|---|
|
|
|
|---|
A book that associates various built-in ACL2 list recognizers with suitable fixing functions and equivalence relations, for use in the fty-discipline.
This is similar in spirit to the fty::basetypes book: it arranges so that various list recognizers like integer-listp, boolean-listp, etc., can be directly used with FTY.
Special note: even though character-listp and string-listp
aren't listed below, you will still be able to use them with FTY after
including the