Module Sharp_router.VF

module VF: module type of Var(Final)