Module Cil_datatype.OffsetStructEq

module OffsetStructEq: S_with_collections  with type t = offset