Module Cil_datatype.Term_offset

module Term_offset: sig .. end

include S_with_collections