sig
type t = { row : int; col : int; }
val sexp_of_t : Src_pos.Absolute.t -> Type.t
val origin : Src_pos.Absolute.t
val of_lexing : Lexing.position -> Src_pos.Absolute.t
val diff : Src_pos.Absolute.t -> Src_pos.Absolute.t -> Src_pos.Relative.t
val add : Src_pos.Absolute.t -> Src_pos.Relative.t -> Src_pos.Absolute.t
val sub : Src_pos.Absolute.t -> Src_pos.Relative.t -> Src_pos.Absolute.t
val geq : Src_pos.Absolute.t -> Src_pos.Absolute.t -> bool
end