package fsml

  1. Overview
  2. Docs

Module Fsml.ActionSource

Transition actions

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

The type of actions associated to FSM transitions

Sourceval to_yojson : t -> Yojson.Safe.t

Printer

Sourceval to_string : t -> string

Simulation

Sourceval 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.

OCaml

Innovation. Community. Security.