Functor CfgWP.Computer

module Computer: 
functor (M : Sigs.Compiler-> sig .. end
Parameters:
M : Sigs.Compiler

class wp : Model.t -> Generator.computer