Documentation

polyAbstract :: [TyVar] -> ([Var] -> VM a) -> VM aSource

polyApply :: CoreExpr -> [Type] -> VM CoreExprSource

polyVApply :: VExpr -> [Type] -> VM VExprSource

polyArity :: [TyVar] -> VM IntSource