Module Cil_datatype.Term

module Term: sig .. end

include S_with_collections