def is_multi

cswap-bend-cli@0.1.0.0 · tui/view.bend:111

import cswap-bend-cli@0.1.0.0/tui/view.bend as View
import Base
import cswap-bend-cli@0.1.0.0/tui/fmt.bend as F

111def is_multi(+b: List<&2, List<&2, F.Seg>>) -> Bool:
112  Nat.is_gt(List.length(&2, List<&2, F.Seg>, b), 1n)

Uses (5)

Used by (2)