Module Constant_Propagation

module Constant_Propagation: sig .. end
Constant propagation analysis.


No function is directly exported: they are registered in Db.Constant_Propagation.