Store (function_graphs.Abstract

Abstract domain for stores

module type S = sig ... end

Signature of stores

module Make
  (Key : sig ... end)
  (_ : sig ... end)
  (X : Sigs.ABSTRACT_DOMAIN) : 
  sig ... end

Functor that builds an non-relational abstract domain for stores, given implementations for keys, maps of keys, and abstract values that should be associated to keys.