Top

Annotations

Annotation

Fixtype of Leo annotations.

This is a product type introduced by fty::defprod.

Fields

name — identifier

An annotation consists of an annotation name, which is an identifier preceded by @.

Subtopics

Annotation-fix: Fixing function for annotation structures.
Annotation-equiv: Basic equivalence relation for annotation structures.
Make-annotation: Basic constructor macro for annotation structures.
Annotation->name: Get the name field from a annotation.
Change-annotation: Modifying constructor for annotation structures.
Annotationp: Recognizer for annotation structures.