Module type Model_intf.EVENTS

module type EVENTS = sig .. end

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