Module Cil_datatype.Cabs_file

module Cabs_file: S  with type t = Cabs.file