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