Module Cil_datatype.Offset

module Offset: sig .. end
Same remark as for Lval. For structural equality, use Cil_datatype.OffsetStructEq.

include S_with_collections