Agda.TypeChecking.Records
orderFields
recordModule
getRecordDef
getRecordFieldNames
findPossibleRecords
getRecordFieldTypes
getRecordConstructorType
getRecordConstructor
isRecord
isEtaRecord
isEtaRecordType
isRecordConstructor
isGeneratedRecordConstructor
etaExpandRecord
etaContractRecord
isSingletonRecord
isSingletonRecordModuloRelevance
isSingletonRecord'