{-# OPTIONS --sized-types #-}

module A201607.OldBasicILP.Syntax.Common where

open import A201607.Common.ContextPair public