sig
module VC : functor (M : Sigs.Compiler) -> Mcfg.S
module Computer :
functor (M : Sigs.Compiler) ->
sig class wp : WpContext.model -> Generator.computer end
val computer : Factory.setup -> Factory.driver -> Generator.computer
end