module InitSid:sig
..end
module LM:Lmap_bitwise.Make_bitwise
(
Datascope.StmtSetLattice
)
typet =
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