Module Cil_datatype.Offset

module Offset: S_with_collections_pretty  with type t = offset
Same remark as for Lval. For structural equality, use Cil_datatype.OffsetStructEq.

include S_with_collections