weakenEA :: OpenExp env aenv t -> OpenExp env (aenv,s) t
weakenEA = weakenByEA SuccIdx
weakenEA :: OpenExp env aenv t -> OpenExp env (aenv,s) t
weakenEA = weakenByEA SuccIdx
weakenEA = weakenByEA SuccIdx