NAME.idr

module A.fully.Qualified.NAME

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