Agda.TypeChecking.Datatypes

getConstructorData

isDatatype

isDataOrRecordType

data DatatypeInfo

getDatatypeInfo