Module Calculus

module Calculus: sig .. end

Generic WP calculus

Wp computation using the CFG


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