Module Calculus

module Calculus: sig .. end
Generic WP calculus

Wp computation using the CFG


module Cfg: 
functor (W : Mcfg.S) -> sig .. end