def cm.blocks.len

bend-osdev-mode-core@0.1.0.0 · mode_core.bend:213

import Base

213# the number of blocks (List.length)
214def cm.blocks.len(bs: List<&2, CmBlock>) -> Nat:
215  cm.blocks.len.go(bs, 0n)