package fsml

  1. Overview
  2. Docs
val (@@@) : t list -> t list -> t list

The @@@ infix operator merges two sequences of TES wrt. clock cycles. Ex: [(0,[x:=1]); (2;[x:=0])] @@@ [(1,[y:=1]); (2;y:=0)] gives [(0,[x:=1]); (1,[y:=1]); (2,[x:=0;y:=0])].

OCaml

Innovation. Community. Security.