module Simple_memory: sig
.. end
Simple memory abstraction for scalar non-volatile variables, built upon a
value abstraction. Basically a map from variable to values.
module type Value = sig
.. end
Abstraction of the values variables are mapped to.
module type S = sig
.. end
Signature of a simple memory abstraction for scalar variables.
module Make_Memory: functor (
Value
:
Value
) ->
sig
.. end
module Make_Domain: functor (
Info
:
sig
end
) ->
functor (
Value
:
Value
) ->
sig
.. end