Up
Next
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.