`module F = Format`
`type parameters``= string list```
`type t````=` `{`

`class_name : string;` | (** name of the annotation *)
`parameters : parameters;` | (** currently only one string parameter *)

`}```

Type to represent one

- @Annotation .

`include sig ... end`
`val compare : t ‑> t ‑> int`
`val volatile : t`

annotation for fields marked with the "volatile" keyword

`val final : t`

annotation for fields marked with the "final" keyword

`val pp : F.formatter ‑> t ‑> unit`

Pretty print an annotation.

`module Item : sig ... end`
`module Class : sig ... end`
`module Method : sig ... end`