Module Cil_datatype.Cabs_file

module Cabs_file: S_with_pretty  with type t = Cabs.file

include S