package fsml

  1. Overview
  2. Docs

Transition actions

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

The type of actions associated to FSM transitions

val to_yojson : t -> Yojson.Safe.t


val to_string : t -> string


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.


Innovation. Community. Security.