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