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