Agda.TypeChecking.Datatypes

getConstructorData

getConstructorArity

isDatatype

data DataOrRecord

isDataOrRecordType

isDataOrRecord

getNumberOfParameters