def seen.name
import ezx@1.11.0.0/src/pub/plan.bend as Planimport Base
958# a name asked of the hub, answered
959def seen.name(ok: Bool, +want: String, +text: String, +who: String) -> Seen:
960 match ok:
961 case True{}:
962 seen.named(String.trim(text), want, who)
963 case False{}:
964 seen.miss(absent(text), text, who)