module Implicit.Language.Extension.All where

open import Implicit.Language.Extension.Base public
open import Implicit.Language.Extension.InputOutput public
open import Implicit.Language.Extension.ExSol public
open import Implicit.Language.Extension.Occur public
open import Implicit.Language.Extension.EnvReplace public
open import Implicit.Language.Extension.Properties public