fsml

A library for describing and describing synchronous finite state machines
IN THIS PACKAGE
Module Fsml . Tevents . Ops
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])].