Module Model_intf.S.Events

module Events: Model_intf.EVENTS

The module type representing a collection of events

module Event: Model_intf.EVENT

type t

val compare : t -> t -> int

val is_empty : t -> bool

val join : t -> t -> t

val empty : t

val of_list : Event.t list -> t

val to_list : t -> Event.t list

val subsets : t -> t list