def cm.blocks.len.go

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

import bend-osdev-mode-core@0.1.0.0/mode_core.bend as ModeCore

import Base

206def cm.blocks.len.go(bs: List<&2, CmBlock>, n: Nat) -> Nat:
207  match bs:
208    case Nil{}:
209      n
210    case Con{b, t}:
211      cm.blocks.len.go(t, 1n+n)

Uses (3)

Used by (3)