Module Datascope.InitSid

module InitSid: sig .. end
A place to map each data to the state of statements that modify it.

module LM: Lmap_bitwise.Make_bitwise(Datascope.StmtSetLattice)
type t = LM.t 
val empty : LM.t
val find : LM.t -> Locations.Zone.t -> LM.y
val add_zone : exact:bool ->
LM.t ->
Locations.Zone.t -> Datascope.StmtSetLattice.O.elt -> LM.t
val test_and_merge : LM.t ->
LM.t -> LM.t option
val pretty : Format.formatter -> LM.t -> unit