Module Cil_datatype.Location

module Location: sig .. end

include S_with_collections

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