Agda-2.3.2.2: test/succeed/Issue481Record.agda

module Issue481Record where

record Issue481Record : Set where