def fetch.all.pools
import bend-kit-http@0.38.2.0/http.bend as Httpimport Base
4337def fetch.all.pools(n: Nat) -> List<Pool>:
4338 match n:
4339 case 0n:
4340 Nil{}
4341 case 1n+p:
4342 pool.new() <> fetch.all.pools(p)
import bend-kit-http@0.38.2.0/http.bend as Httpimport Base
4337def fetch.all.pools(n: Nat) -> List<Pool>:
4338 match n:
4339 case 0n:
4340 Nil{}
4341 case 1n+p:
4342 pool.new() <> fetch.all.pools(p)