module Calculus: sig .. end
sig
end
Generic WP calculus
Wp computation using the CFG
module Cfg: functor (W : Mcfg.S) -> sig .. end
functor (
W
:
Mcfg.S
) ->