Module Cil_datatype.OffsetStructEqStrict

module OffsetStructEqStrict: S_with_collections  with type t = offset

structural equality, with strict constant comparison as in Cil_datatype.ConstantStrict