gillian » Gillian » Utils » Location

Module Utils.Location

type position = Utils.Location.position = {

1. pos_line : int;
2. pos_column : int;

}

val position_to_yojson : position -> Yojson.Safe.t

val position_of_yojson :
  Yojson.Safe.t ->
  position Ppx_deriving_yojson_runtime.error_or

val equal_position : position -> position -> Ppx_deriving_runtime.bool

type t = Utils.Location.t = {

1. loc_start : position;
2. loc_end : position;
3. loc_source : string;

}

val to_yojson : t -> Yojson.Safe.t

val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or

val _ : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or

val equal : t -> t -> Ppx_deriving_runtime.bool

val none : t

val pp : Stdlib.Format.formatter -> t -> unit

val pp_log_opt : Stdlib.Format.formatter -> t option -> unit

val pp_full : Stdlib.Format.formatter -> t option -> unit

val min_position : position -> position -> position

val max_position : position -> position -> position

val merge : ?check_source:bool -> t -> t -> t

type 'a located = 'a * t option