def has_rel

minebender-game@1.0.0.0 · solver.bend:324

import minebender-game@1.0.0.0/solver.bend as Solver
import Base

324def has_rel(t: Todo) -> Bool:
325  match t:
326    case Todo{c, rel}:
327      Bool.not(List.is_empty(&2, Item, rel))

Uses (5)

Used by (10)