Module Fsm

module Fsm: sig .. end

Finite State Machines.

A FSM is a LTS

with an added set of local variables
for which each transition is a pair of conditions and actions on inputs, outputs and local variables.

module type CONDITION = sig .. end

module type ACTION = sig .. end

module Condition: CONDITION

module Action: ACTION

module type TRANSITION = sig .. end

module Transition: TRANSITION

module type T = sig .. end

module Make (S : Ltsa.STATE) : T  with type state = S.t