module Studia: sig .. end
sig
end
Computations of the statements that write a given memory zone.
module Writes: sig .. end
module Reads: sig .. end
Computations of the statements that read a given memory zone.