Module CfgWP

module CfgWP: sig .. end

module WpLog: Wp_parameters
module VC: 
functor (M : Memory.Model) -> sig .. end
module Computer: 
functor (M : Memory.Model) -> sig .. end