Module Cil_datatype.Position

module Position: S_with_collections_pretty  with type t = Lexing.position

Single position in a file.


include S_with_collections