NAME.idr

module A.fully.Qualified.NAME

||| This is another test
data Test : Type where
  ||| Test constructor
  ATest : Test