Dotty Documentation

0.17.0-bin-SNAPSHOT

class AnnotationDefault
extends Annotation

An annotation to tag Java annotation default values

[-] Constructors

AnnotationDefault ( )

[-] Members