-- Weakening functions parameterised by an index manipulation
--
weakenByA :: (forall t'. Idx aenv t' -> Idx aenv' t') -> OpenAcc aenv t -> OpenAcc aenv' t
weakenByA k = rebuildOpenAcc (Avar . k)
weakenByA :: (forall t'. Idx aenv t' -> Idx aenv' t') -> OpenAcc aenv t -> OpenAcc aenv' t
weakenByA k = rebuildOpenAcc (Avar . k)
weakenByA k = rebuildOpenAcc (Avar . k)