Mval (goblint.Mval

module type Printable = Printable

module type Lattice = Lattice

module MakePrintable
  (Offs : Offset.Printable) : 
  Printable with type idx = Offs.idx

module MakeLattice (Offs : Offset.Lattice) : Lattice with type idx = Offs.idx

module Unit : Printable with type idx = unit

Mvalue with Offset.Unit indices in offset.

module Exp : Printable with type idx = GoblintCil.exp

Mvalue with Offset.Exp indices in offset.

module Z : Printable with type idx = Z.t

Mvalue with Offset.Z indices in offset.