Mlang.Pos
A position in the source code is a file, as well as begin and end location of the form col:line
val make_position :
string ->
(Stdlib.Lexing.position * Stdlib.Lexing.position) ->
t
val format_position_short : Stdlib.Format.formatter -> t -> unit
val format_position : Stdlib.Format.formatter -> t -> unit
type 'a marked = 'a * t
Everything related to the source code should keep its t stored, to improve error messages
val no_pos : t
Placeholder t
val unmark : 'a marked -> 'a
val unmark_option : 'a marked option -> 'a option
module VarNameToID : StrMap.T
val get_start_line : t -> int
val get_start_column : t -> int
val get_end_line : t -> int
val get_end_column : t -> int
val get_file : t -> string
val retrieve_loc_text : t -> string
Given a source code position, retrieves the content of the code by acessing the file and reading its text