def decide.tip

ezx@1.11.0.0 · src/add/plan.bend:357

import Base
import ezx@1.11.0.0/src/add/world.bend as A

357# what the ref names, then the checkout at it
358def decide.tip(tip: Tip, +world: A.World) -> Verdict:
359  match tip:
360    case At{+rev}:
361      decide.co(co.at(world, rev), rev)
362    case TipAsk{q}:
363      Pending{[q]}
364    case TipNo{why}:
365      Stop{why}