Up

module Src_pos

: sig

source positions, both relative and absolute

#

module Relative : sig

#

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

end

#

module Absolute : sig

#

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

end

end