{-# OPTIONS --without-K --safe #-}

module STLCSubst.Statics.Properties where

open import STLCSubst.Statics.Properties.Ops public
open import STLCSubst.Statics.Properties.Rules public