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

module STLCSubst.Statics where

open import STLCSubst.Statics.Definitions public
open import STLCSubst.Statics.Rules public