Agda.TypeChecking.Rules.Data
Datatypes
checkDataDef
checkConstructor
bindParameters
fitsIn
constructs
forceData
isCoinductive