def licensed.step
import ezx@1.11.0.0/src/pkg/pkg.bend as Pkgimport Base
1179# one step of the search for such a path
1180def licensed.step(here: Bool, +at: String, rest: Unit -> String) -> String:
1181 match here:
1182 case True{}:
1183 at
1184 case False{}:
1185 rest(Unit{})