module Implicit.Algo.Properties.Weaken where

open import Implicit.Algo.Properties.WeakenEVar public
open import Implicit.Algo.Properties.WeakenTVar public
open import Implicit.Algo.Properties.WeakenSVar public