def top.at
import ezx@1.11.0.0/src/add/hub.bend as Hubimport Base
202# this file when it is a top-level `.bend` file, else the rest's. The rest
203# arrives as a thunk, so the first one ends the scan.
204def top.at(hit: Bool, +at: String, rest: Unit -> String) -> String:
205 match hit:
206 case True{}:
207 at
208 case False{}:
209 rest(Unit{})