Module type Cil_datatype.S_with_collections_pretty

module type S_with_collections_pretty = sig .. end

include S_with_collections