Module Cil_datatype.OffsetStructEq

module OffsetStructEq: S_with_collections  with type t = offset
Since Oxygen-20120901