def cell

cswap-bend-cli@0.1.0.0 · tui/fmt.bend:166

import cswap-bend-cli@0.1.0.0/tui/fmt.bend as Fmt

import Base

166def cell(+i: Nat, +full: Nat, +half: Bool, +tick: Maybe<&2, Nat>, +r: Role, +dim: Bool) -> Seg:
167  cell_kind(is_tick(tick, i), Nat.is_lt(i, full), Nat.is_eq(i, full) && half, r, dim)

Uses (10)

Used by (1)

cswap-bend-cli@0.1.0.0/tui/fmt:cells