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