Agda-2.3.2.2: examples/relocatable/originals/B.agda

module B where

open import A

B : Set
B = A