def tree

cswap-bend-cli@0.1.0.0 · render.bend:171

import cswap-bend-cli@0.1.0.0/render.bend as Render

import Base
import cswap-bend-cli@0.1.0.0/clock.bend as Clock

171def tree(ls: List<&2, String>, +last: Nat, +i: Nat) -> List<&2, String>:
172  match ls:
173    case Nil{}:
174      []
175    case Con{h, t}:
176      (Clock.sel.s(Nat.is_eq(i, last), "\u{2514} ", "\u{251C} ") ++ h) <> tree(t, last, 1n+i)

Uses (6)

Used by (1)

cswap-bend-cli@0.1.0.0/render:measured2