
  0 | module Stellar.API.List
  1 | 
  2 | import Stellar.API.Definition
  3 | import public Data.List.Quantifiers
  4 | 
  5 | namespace Any
  6 |   public export
  7 |   List : API -> API
  8 |   List c = (!>) (List c.message) (Any c.response)
  9 | 
 10 | namespace All
 11 |   public export
 12 |   List : API -> API
 13 |   List c = (!>) (List c.message) (All c.response)
 14 | 
 15 |