Module Model.AUTOMATON.Transition
module Transition:sig..end
include Print.PRINTABLE_TYPE
val owner : t -> Model.AUTOMATON.Owner.tval is_controllable : t -> boolval source : t -> Model.AUTOMATON.Location.tval target : t -> Model.AUTOMATON.Location.tval command : t -> Command.t