sig
  type t = string
  val compare : Fsm.State.t -> Fsm.State.t -> int
  val to_string : Fsm.State.t -> Fsm.State.t
end