module Relative: sig .. end
sig
end
type t = {
row : int;
int
col : int;
val sexp_of_t : t -> Type.t
t -> Type.t
val zero : t
t
val add : t -> t -> t
t -> t -> t
val sub : t -> t -> t