Agda.TypeChecking.Datatypes

getConstructorData

isDatatype

data DatatypeInfo

getDatatypeInfo