Module Cil_datatype.Position

module Position: sig .. end
Single position in a file.
Since Nitrogen-20111001

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