Module Cil_datatype.Offset


module Offset: sig .. end
Same remark as for Lval. For structural equality, use Cil.compareOffset

include S_with_collections