Annotations for the envy code-generator. This package does nothing without envy too.
Annotations for envy. This package does nothing without envy.