sig
module Event : EVENT
type t
val pp : Format.formatter -> Events_common.EVENTS.t -> unit
val show : Events_common.EVENTS.t -> string
val is_empty : Events_common.EVENTS.t -> bool
val join :
Events_common.EVENTS.t ->
Events_common.EVENTS.t -> Events_common.EVENTS.t
val empty : Events_common.EVENTS.t
val of_list : Event.t list -> Events_common.EVENTS.t
val to_list : Events_common.EVENTS.t -> Event.t list
val subsets : Events_common.EVENTS.t -> Events_common.EVENTS.t list
end