Idris2Doc : Stellar.API.Telescope

Stellar.API.Telescope

(source)
Definitions
Tele : Telescope (S n) -> API
  Totality: total
  Visibility: public export
Tele : Telescope (S n) -> API
  Totality: total
  Visibility: public export
Tele : Telescope n -> API
  Totality: total
  Visibility: public export