module OffsetStructEqStrict: S_with_collections with type t = offset
S_with_collections
with type t = offset
structural equality, with strict constant comparison as in Cil_datatype.ConstantStrict
Cil_datatype.ConstantStrict