package java.lang.annotation {
import java.lang.Class__;
public interface Annotation {
  function annotationType__(): Class__;
  // skip overriding equals
  // skip overriding hashCode
  // skip overriding toString
}
}
