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