sig module VC : functor (M : Memory.Model) -> Mcfg.S module Computer : functor (M : Memory.Model) -> sig val create : Model.t -> Generator.computer end end