~/jendhub

def look

ezx@1.11.0.0 · src/lock/up.bend:260

import ezx@1.11.0.0/src/lock/up.bend as Up
import Base

260# the first answer given to a question
261def look(rs: List<&2, Reply>, +want: String) -> Heard:
262  match rs:
263    case []:
264      Open{}
265    case Reply{ask, answer} <> t:
266      look.step(String.eq(key(ask), want), answer, _u => look(t, want))

Uses (7)

Used by (1)