def cr.vm.len

bend-osdev-crypto@0.1.0.0 · vmac.bend:397

import Base

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