def is_tick

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

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

import Base

148def is_tick(+t: Maybe<&2, Nat>, +i: Nat) -> Bool:
149  match t:
150    case None{}:
151      False{}
152    case Some{k}:
153      Nat.is_eq(k, i)

Uses (4)

Used by (1)

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