sig
type t
val print : Format.formatter -> t -> unit
val owner : t -> Model.AUTOMATON.Owner.t
val is_controllable : t -> bool
val source : t -> Model.AUTOMATON.Location.t
val target : t -> Model.AUTOMATON.Location.t
val command : t -> Command.t
end