vNonRec, vRec,
vVar, vType, vNote, vLet,
+ vLams,
mkVLams, mkVVarApps
) where
vLet :: VBind -> VExpr -> VExpr
vLet = zipWithVect Let
+vLams :: Var -> [VVar] -> VExpr -> VExpr
+vLams lc vs (ve, le) = (mkLams vvs ve, mkLams (lc:lvs) le)
+ where
+ (vvs,lvs) = unzip vs
+
mkVLams :: [VVar] -> VExpr -> VExpr
mkVLams vvs (ve,le) = (mkLams vs ve, mkLams ls le)
where