record_extender_annotations library
Classes
- RecordExtension
- Annotation for generating record type extensions.
- RecordExtensionElement
- Specify that the annotated element should be included in a generated record extension.
record_extender_annotations.dart