Annot.Domain
type t
val empty : t
val add : IAnnot.coverage -> t -> t
val covers : t -> IAnnot.coverage -> bool
val pp : Stdlib.Format.formatter -> t -> unit