fsml

A library for describing and describing synchronous finite state machines
IN THIS PACKAGE
Module Fsml . Event

Simulation events

(id,v) means that input, output or local variable id take value v

Printer

val to_string : t -> string