Module Studia

module Studia: 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.