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 ]