Up – Package index » goblint » Library goblint.lib » Goblint_lib » VarEq

Module `Goblint_lib.VarEq`

Variable equalities necessary for per-element patterns.

module Addr = Goblint_lib.ValueDomain.Addr

module Offs = ValueDomain.Offs

module AD = Goblint_lib.ValueDomain.AD

module Exp = CilType.Exp

module LF = LibraryFunctions

module Spec : sig ... end