Module Location


module Location: sig .. end
This module deals with the locations of the objects.

module Loc: sig .. end
This module deals with the locations of the objects.
module type LSET = ExtSSet.S  
  with type elt = Loc.t
module LSet: LSET 
Set of Locations
module LSetRef: sig .. end  
  with type elt = Loc.t
module P: sig .. end
This module represents pointers to locations.
val reset_all : unit -> unit
IMPORTENT: Do use this only for testing! Calls reset of P and Loc. It destroys the invariant that new locations and pointers a unique!
module LSetInEx: LowerUpperNeg.S 
  with type elm = LSet.t
Module that is the image of location set variables.