fsml

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

Transition actions

type t =
| Assign of Expr.ident * Expr.t

The type of actions associated to FSM transitions

val to_yojson : t -> Yojson.Safe.t

Printer

val to_string : t -> string

Simulation

val perform : Expr.env -> t -> Event.t list

perform env a performs action a in the context of environment env returning a list of resulting events.