Module Sharp_router.VCVCCF

module VCVCCF: module type of Var(CVCCF)