module Constant_Propagation: sig .. end
sig
end
Constant propagation analysis.
No function is directly exported: they are registered in Db.Constant_Propagation.
Db.Constant_Propagation