module A201607.OldBasicILP.Syntax.Common where

open import A201607.Common.ContextPair public