Functor CfgWP.Computer

module Computer: 
functor (M : Memory.Model) -> sig .. end
Parameters:
M : Memory.Model

class wp : Model.t -> Generator.computer