Module Cil_datatype.File


module File: S  with type t = file
Datatype for a cil file.