package rfsm

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

Parameters

module ES : Evset.T

Signature

module Evset = ES
type t = Evset.t list
type value = ES.Event.Value.t
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 : Format.formatter -> t -> unit
OCaml

Innovation. Community. Security.