package rfsm

  1. Overview
  2. Docs
package rfsm
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Event : Event.T
type date = int
type t
exception Union of t * t
val mk : date -> Event.t list -> t
val empty : date -> t
val date : t -> date
val events : t -> Event.t list
val is_empty : t -> bool
exception Add of Event.t
val add : t -> Event.t -> t
val union : t -> t -> t
val union_all : date -> t list -> t
val partition : f:(Event.t -> bool) -> t -> t * t
val pp : Stdlib.Format.formatter -> t -> unit