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