~/jendhub

def fuel.judged

ezx@1.11.0.0 · src/lock/plan.bend:245

import ezx@1.11.0.0/src/lock/plan.bend as Plan
import Base
import ezx@1.11.0.0/src/lock/world.bend as W
import ezx@1.11.0.0/src/lock/lock.bend as L

245# how many imports every verdict queues between them
246def fuel.judged(js: List<&2, W.Judged>, +ns: List<&2, L.Name>) -> Nat:
247  match js:
248    case []:
249      0n
250    case W.Judged{_h, v} <> t:
251      Nat.add(fuel.verdict(v, ns), fuel.judged(t, ns))

Uses (6)

Used by (1)