Previous
Up
Next
Module
Cil_datatype.Offset
module
Offset:
sig
..
end
Same remark as for Lval. For structural equality, use
Cil_datatype
.
OffsetStructEq
.
include
S_with_collections