module Implicit.Interm.All where

open import Implicit.Interm.Base public
open import Implicit.Interm.Properties.Regularity public
open import Implicit.Interm.Properties.Polarity public
open import Implicit.Interm.Properties.Extension public
open import Implicit.Interm.Properties.Strengthen public
open import Implicit.Interm.Properties.Ground public