sig
  type t = int
  val to_string : int -> string
  val is_valid : int -> bool
  val repl_tag : string
end