Previous  Up  

Module Fsm.Repr

module Repr: Lts.T  with type state = State.t and type label = TransLabel.t