MvalDomains for mvalues: simplified lvalues, which start with a GoblintCil.varinfo. Mvalues are the result of resolving pointer dereferences in lvalues.
module type Printable = Mval_intf.Printablemodule type Lattice = Mval_intf.Latticemodule MakePrintable
(Offs : Offset.Printable) :
Printable with type idx = Offs.idxMake Printable mvalue from printable offset.
module MakeLattice (Offs : Offset.Lattice) : Lattice with type idx = Offs.idxMake mvalue Lattice from offset lattice.
Mvalue with Offset.Unit indices in offset.
Mvalue with Offset.Exp indices in offset.