Module Abstract_offset

module Abstract_offset: sig .. end

module type T = sig .. end

type typed_offset =

`\|`	`NoOffset of Cil_types.typ`
`\|`	`Index of Int_val.t * Cil_types.typ * typed_offset`
`\|`	`Field of Cil_types.fieldinfo * typed_offset`

module TypedOffset: T  with type t = typed_offset

module TypedOffsetOrTop: T  with type t = [ `Value of typed_offset | `Top ]