• 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.