package rfsm

  1. Overview
  2. Docs
On This Page
  1. Event sequences
package rfsm
Legend:
Library
Module
Module type
Parameter
Class
Class type

Event sequences

An event sequence is a sequence of dated event sets. Ex: [{H,x<-1}@t=10; {H}@t=20, ...]. Event sequences are to describe both stimuli and responses.

module type EVSEQ = sig ... end
module Make (ES : Evset.T) : EVSEQ with module Evset = ES and type value = ES.Event.Value.t