1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
|
(**************************************************************************)
(* *)
(* OCamlFormat *)
(* *)
(* Copyright (c) Facebook, Inc. and its affiliates. *)
(* *)
(* This source code is licensed under the MIT license found in *)
(* the LICENSE file in the root directory of this source tree. *)
(* *)
(**************************************************************************)
module Lexing : sig
include module type of Lexing
val set_position : lexbuf -> position -> unit
(** @since ocaml-4.11 *)
val set_filename : lexbuf -> string -> unit
(** @since ocaml-4.11 *)
end
module Position : sig
type t = Lexing.position
include Comparator.S with type t := t
val column : t -> int
val distance : t -> t -> int
val compare : t -> t -> int
end
module Location : sig
include module type of Location
type comparator_witness
val comparator : (t, comparator_witness) Comparator.t
val contains : t -> t -> bool
val sexp_of_t : t -> Sexp.t
val compare_width_decreasing : t -> t -> int
(** Compare, in order:
- start
- end (in reverse order)
- ghostness
Locs (start and end) are compared using [Position.compare]. *)
val compare : t -> t -> int
val compare_start : t -> t -> int
val compare_start_col : t -> t -> int
val compare_end : t -> t -> int
val compare_end_col : t -> t -> int
val line_difference : t -> t -> int
(** [line_difference x y] returns the difference between the line at the
start of [y] and at the end of [x]. [x] must precede [y], undefined
behavior otherwise, or if one location includes the other. *)
val fmt : Format.formatter -> t -> unit
val smallest : t -> t list -> t
val width : t -> int
val is_single_line : t -> int -> bool
val of_lexbuf : Lexing.lexbuf -> t
val of_lines : filename:string -> string list -> string loc list
end
module Longident : sig
include module type of Longident
val lident : string -> t
(** Make a Lident from a dotless string *)
end
|
