sig
  type t = Condition.t * Action.t list * int * bool
  val compare : Fsm.TransLabel.t -> Fsm.TransLabel.t -> int
  val to_string : Fsm.TransLabel.t -> string
  val rename : (string -> string) -> Fsm.TransLabel.t -> Fsm.TransLabel.t
  val subst : Eval.env -> Fsm.TransLabel.t -> Fsm.TransLabel.t
  val is_rtl : Fsm.TransLabel.t -> bool
end