Agda.TypeChecking.Rules.Builtin.Coinduction

typeOfInf

typeOfSharp

typeOfFlat

bindBuiltinInf

bindBuiltinSharp

bindBuiltinFlat