1
(** source positions, both relative and absolute *)
4
type t = { row : int; col : int }
5
val sexp_of_t : t -> Type.t
13
type t = { row : int; col : int }
14
val sexp_of_t : t -> Type.t
16
val origin : t (* first row, first column *)
18
val of_lexing : Lexing.position -> t
20
val diff : t -> t -> Relative.t
22
val add : t -> Relative.t -> t
23
val sub : t -> Relative.t -> t
25
(*val compare : t -> t -> int*)
26
val geq : t -> t -> bool