Idris.Elab.Record

elabRecord