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