package rfsm

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Evset : Evset.T
type t = Evset.t list
type value
val merge : t -> t -> t
val (@@) : t -> t -> t

@@ is the infix notation for merge

val merge_all : t list -> t
val mk_periodic : Ident.t -> int -> int -> int -> t
val mk_changes : Ident.t -> (int * value) list -> t
val mk_sporadic : Ident.t -> int list -> t
val pp : Stdlib.Format.formatter -> t -> unit