Agda.TypeChecking.RecordPatterns

translateRecordPatterns