agda-unused-0.1.0: data/test/declaration/Data.agda

module Data where

data D
  (A : Set)
  : Set

data D A
  where

  c
    : D A