sig
val
compute :
Locations
.
Zone
.t
->
(
Cil_types
.stmt *
Studia
.
Writes
.effects) list
end