-- Basic intuitionistic logic of proofs, without ∨, ⊥, or +.
-- Common syntax.

module A201607.BasicILP.Syntax.Common where

open import A201607.Common.ContextPair public