Module Dom

module Dom: sig  end

val eq : 'a -> 'a -> bool

val union : t -> t -> t

val inter : t -> t -> t

val disjoint : 'a -> 'b -> bool

val sub : t -> t -> bool

val cmp : t -> t -> ('a, 'b) Binrel.t

val of_q : Mpa.Q.t -> t

val mem : Mpa.Q.t -> t -> bool

val pp : Format.formatter -> t -> unit