Search-engine friendly clone of the
ACL2 documentation
.
Top
Abstract-syntax
Annotations
Leo annotations.
Leo supports annotations for function declarations.
Subtopics
Annotation
Fixtype of Leo annotations.
Annotation-result
Fixtype of errors and Leo annotations.
Annotation-list-result
Fixtype of errors and lists of Leo annotations.
Annotation-list
Fixtype of lists of Leo annotations.
