source positions, both relative and absolute
module Relative : sig .. end
type t = {
row : int;
col : int;
}
val sexp_of_t : t -> Type.t
val zero : t
val add : t -> t -> t
val sub : t -> t -> t
module Absolute : sig .. end
type t = {
row : int;
col : int;
}
val sexp_of_t : t -> Type.t
val origin : t
val of_lexing : Lexing.position -> t
val diff : t -> t -> Relative.t
val add : t -> Relative.t -> t
val sub : t -> Relative.t -> t
val geq : t -> t -> bool