Agda.TypeChecking.Rules.Record
Records
checkRecDef
checkRecordProjections