Agda.TypeChecking.Records
orderFields
recordModule
getRecordDef
getRecordOfField
getRecordFieldNames
recordFieldNames
findPossibleRecords
getRecordFieldTypes
getRecordTypeFields
getRecordConstructorType
getRecordConstructor
isRecord
isRecordType
tryRecordType
projectType
isEtaRecord
isEtaCon
isInductiveRecord
isEtaRecordType
isRecordConstructor
isGeneratedRecordConstructor
unguardedRecord
recursiveRecord
isRecursiveRecord
recRecursive_
etaExpandBoundVar
curryAt
etaExpandRecord
etaExpandRecord_
etaExpandAtRecordType
etaContractRecord
isSingletonRecord
isSingletonRecordModuloRelevance
isSingletonRecord'
isSingletonType
isSingletonTypeModuloRelevance
isSingletonType'
emap