Agda.TypeChecking.Records

orderFields

recordModule

getRecordDef

getRecordFieldNames

getRecordFieldTypes

getRecordConstructorType

getRecordConstructor

isRecord

isEtaRecord

isRecordConstructor

isGeneratedRecordConstructor

etaExpandRecord

etaContractRecord

isSingletonRecord