package rfsm

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

Module Evseq.MakeSource

Parameters

module ES : Evset.T

Signature

Sourcemodule Evset = ES
Sourcetype t = Evset.t list
Sourceval merge : t -> t -> t
Sourceval (@@) : t -> t -> t

@@ is the infix notation for merge

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

Innovation. Community. Security.