AdrPair (p.goblint.1.1.1.doc.goblint.lib.ShapeDomain.ListPtr.AdrPair)

include sig ... end

val expand_fst : bool

val expand_snd : bool

type t = CLval.t * Offs.t

val equal : t -> t -> Ppx_deriving_runtime.bool

val compare : t -> t -> Ppx_deriving_runtime.int

type group = Printable.Std.group = |

val show_group : group -> 'a

val to_group : 'a -> 'b option

val trace_enabled : bool

val tag : 'a -> 'b

val hash : (CLval.t * Offs.t) -> int

val name : unit -> string

val printXml : 'a BatInnerIO.output -> (CLval.t * Offs.t) -> unit

val to_yojson : 
  (CLval.t * Offs.t) ->
  [> `Assoc of (string * Printable.json) list ]

val invariant : Invariant.context -> (CLval.t * Offs.t) -> Invariant.t

val arbitrary : unit -> (CLval.t * Offs.t) QCheck.arbitrary

val relift : (CLval.t * Offs.t) -> CLval.t * Offs.t

val show : 
  ((Cil.varinfo * (Cil.fieldinfo, Cil.exp) Lval.offs)
   * ([< `Field of Cil.fieldinfo * 'a
      | `Index of
        IntDomain.IntDomWithDefaultIkind(IntDomain.IntDomLifter(IntDomain.OldDomainFacade(IntDomain.Integers(IntOps.Int64Ops))))(IntDomain.PtrDiffIkind).t
        * 'a
      | `NoOffset NoOffset ] as 'a)) ->
  string

val pretty : 
  unit ->
  ((Cil.varinfo * (Cil.fieldinfo, Cil.exp) Lval.offs)
   * ([< `Field of Cil.fieldinfo * 'a
      | `Index of
        IntDomain.IntDomWithDefaultIkind(IntDomain.IntDomLifter(IntDomain.OldDomainFacade(IntDomain.Integers(IntOps.Int64Ops))))(IntDomain.PtrDiffIkind).t
        * 'a
      | `NoOffset NoOffset ] as 'a)) ->
  Pretty.doc