{-# OPTIONS --sized-types #-} module A201607.OldBasicILP.Syntax.Common where open import A201607.Common.ContextPair public