Agda.TypeChecking.Rules.Data
checkDataDef
forceSort
smallParams
checkConstructor
bindParameters
bindParameters'
fitsIn
constructs
isCoinductive