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