Module Studia

module Writes : sig ... end
module Reads : sig ... end

Computations of the statements that read a given memory zone.

Internal use only

module Options : sig ... end