Module Cil_datatype.File

module File: S  with type t = file