module CC.CCStatics where

open import Common.TypeBasedCast public

open import CC.CCSyntax Cast_⇒_ public
open import CC.CCTyping Cast_⇒_ public
open import CC.Values            public