Module Lascar.Fsm

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 : functor (S : Ltsa.STATE) -> T with type state = S.t