Module Java_label.AnnotationSource

Sourcetype t =
  1. | Normal of name
  2. | Marker of name
  3. | SingleElement of name
Sourceval get_name : t -> name
Sourceval is_named_orig : 'a -> bool
Sourceval move_disallowed : t -> bool
Sourceval to_string : t -> string
Sourceval anonymize : ?more:bool -> t -> t
Sourceval to_simple_string : t -> string
Sourceval to_short_string : t -> string
Sourceval to_tag : t -> string * (string * string) list