package rfsm

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module EvSeq.EvsetSource

Sourcetype date = int
Sourcetype t
Sourceexception Union of t * t
Sourceval mk : date -> Event.t list -> t
Sourceval empty : date -> t
Sourceval date : t -> date
Sourceval events : t -> Event.t list
Sourceval is_empty : t -> bool
Sourceexception Add of Event.t
Sourceval add : t -> Event.t -> t
Sourceval union : t -> t -> t
Sourceval union_all : date -> t list -> t
Sourceval partition : f:(Event.t -> bool) -> t -> t * t
Sourceval pp : Format.formatter -> t -> unit
OCaml

Innovation. Community. Security.