Vmac.cr.vm.len: def of bend-osdev-crypto@0.1.0.0
Import: import bend-osdev-crypto@0.1.0.0/vmac.bend as Vmac
Lines 397-402 of bend-osdev-crypto@0.1.0.0/vmac.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-crypto@0.1.0.0/vmac.bend&start_line=397&end_line=402

import Base

def cr.vm.len(its: List<&2, CrVmIter>) -> Nat:
  match its:
    case Nil{}:
      0n
    case Con{h, t}:
      1n+cr.vm.len(t)

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-crypto@0.1.0.0/vmac.bend&name=CrVmIter