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