Agda-2.3.2.2: src/pkg/Interface/Command/Describe.hs