+-- Vectorisation declarations -------------------------------------------------
+
+-- |Check whether a variable has a (non-scalar) vectorisation declaration.
+--
+lookupVectDecl :: Var -> VM (Maybe (Type, CoreExpr))
+lookupVectDecl var = readGEnv $ \env -> lookupVarEnv (global_vect_decls env) var
+
+