module Implicit.Language.EnvOps.All where

open import Implicit.Language.EnvOps.Base public
open import Implicit.Language.EnvOps.Inst public
open import Implicit.Language.EnvOps.RemoveTVar public
open import Implicit.Language.EnvOps.RemoveSVar public
open import Implicit.Language.EnvOps.RemoveEVar public
open import Implicit.Language.EnvOps.InsertEVar public
open import Implicit.Language.EnvOps.InsertTVar public
open import Implicit.Language.EnvOps.InsertUVar public
open import Implicit.Language.EnvOps.InsertSVar public
open import Implicit.Language.EnvOps.Regular public

open import Implicit.Language.EnvOps.Replace public