`type t````=` `{`

`line : int;` | (** The line number. -1 means "do not know" *)
`col : int;` | (** The column number. -1 means "do not know" *)
`file : InferBase.SourceFile.t;` | (** The name of the source file *)

`}```

Location in the original source file

`include sig ... end`
`val compare : t ‑> t ‑> int`
`val equal : t ‑> t ‑> bool`
`val none : InferBase.SourceFile.t ‑> t`

Dummy source location for the given file

`val dummy : t`

Dummy location with no source file

`val pp : Format.formatter ‑> t ‑> unit`

Pretty print a location.

`val to_string : t ‑> string`

String representation of a location.

`val pp_file_pos : Format.formatter ‑> t ‑> unit`

Pretty print a file-position of a location

`val pp_range : Format.formatter ‑> (t * t) ‑> unit`