agda-unused-0.2.0: data/declaration/Data.agda

module Data where

data D
  (A : Set)
  : Set

data D A
  where

  c
    : D A

data E
  (B : Set)
  : Set
  where