Module Toprop


module Toprop: sig .. end
Signature for a module that defines basic things on the memory model

module type T_data_mem = sig .. end
Signature for a module that defines basic things on the memory model
module type T_no_call = sig .. end
module type T_with_call = sig .. end
add call processing to T_no_call
module type T_for_Cfg = sig .. end
This is what is really needed to propagate something through the CFG.