Idris2Doc : Notation

Notation

Reexports
import public Data.Fun
Definitions
ary : Nat -> Type -> Type
  Totality: total
  Visibility: public export
ary : List Type -> Type -> Type
  Compare with contrib's Data.Fun

  Totality: total
  Visibility: public export