def last_idx

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

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

178def last_idx(ls: List<&2, String>) -> Nat:
179  Nat.sub(List.length(&2, String, ls), 1n)

Uses (5)

Used by (1)