structure AVerySpecificStructureName where
  x : Nat

structure AVerySpecificStructureName2 where
  x : Nat

#check AVerySpecificStructureName
                               --^ completion
