Idris2Doc : Stellar.API.List

Stellar.API.List

(source)
Reexports
import public Data.List.Quantifiers
Definitions
List : API -> API
  Totality: total
  Visibility: public export
List : API -> API
  Totality: total
  Visibility: public export