module P: sig .. end
This module represents pointers to locations. They
could be exact or inexact.
type
Program locations
val create_exact : unit -> t
Create a new unique exact pointer
val create_inexact : unit -> t
Create a new unique inexact pointer
val string_of : t -> string
Returns a string representation of a pointer
val get_location : t -> Location.Loc.t
get_location p returns the location of the pointer.
val is_precise : t -> bool
is_precise p returns true if the pointer is precise,
otherwise false is returned.
val reset : unit -> unit
IMPORTANT: Use this only for testing. Otherwise
the create_new function will not create unique
locations.