Module Call


module Call: sig .. end
Build a module that handles calls from the basic operations defined by the memory model. At the moment, only Pre/Post computation is done.

module type T_for_call = sig .. end
This is what is needed from the memory model.
module WithPrePost: 
functor (W : T_for_call) -> sig .. end