Module Java_label.ModifierSource

Sourcetype t =
  1. | Public
  2. | Protected
  3. | Private
  4. | Static
  5. | Abstract
  6. | Final
  7. | Native
  8. | Synchronized
  9. | Transient
  10. | Volatile
  11. | Strictfp
  12. | Default
  13. | Transitive
  14. | Sealed
  15. | NonSealed
  16. | Error of string
Sourceval to_string : t -> string
Sourceval anonymize : t -> t
Sourceval to_simple_string : t -> string
Sourceval to_short_string : t -> string
Sourceval to_tag : t -> string * (string * string) list