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

module C where

open import B

C : Set
C = B