Agda.TypeChecking.Datatypes
getConHead
getConForm
getOrigConHead
getConstructorData
getConType
getFullyAppliedConType
data HasEta
data ConstructorInfo
getConstructorInfo
isDatatype
isDataOrRecordType
isDataOrRecord
getNumberOfParameters
getConstructors