Module Cil_datatype.Location

module Location: sig .. end
Cil locations.

include Cil_datatype.S_with_collections_pretty
val unknown : t
val pretty_long : t Pretty_utils.formatter
Pretty the location under the form file <f>, line <l>, without the full-path to the file. The default pretty-printer pretty echoes <dir/f>:<l>
val pretty_line : t Pretty_utils.formatter
Prints only the line of the location