Module Cil_datatype.Position

module Position: sig .. end

Single position in a file.


include Cil_datatype.S_with_collections_pretty
val unknown : t
val pp_with_col : Stdlib.Format.formatter -> t -> unit
val of_lexing_pos : Stdlib.Lexing.position -> t
val to_lexing_pos : t -> Stdlib.Lexing.position