sig
  type t
  val size : int
  val to_int : Cf_dfa.Symbol_T.t -> int
  val of_int : int -> Cf_dfa.Symbol_T.t
end