~/jendhub

def phrase.to.go

emerging-ezhttp@0.21.0.0 · src/http.bend:1826

import emerging-ezhttp@0.21.0.0/src/http.bend as Http
import Base

1826# the heads in turn, at most `fuel` of them
1827def phrase.to.go(fuel: Nat, cut: Cut) -> String:
1828  match fuel:
1829    case 0n:
1830      ""
1831    case 1n+f:
1832      phrase.to.at(cut, next => phrase.to.go(f, next))

Uses (4)

Used by (1)