module CC2.Statics where

open import Common.BlameLabels public
open import Common.Types public
open import CC2.Syntax   public
open import CC2.Typing   public
open import CC2.Values   public