def AaGSeq.len

bend-osdev-apparmor@0.1.0.0 · glob.bend:320

import bend-osdev-apparmor@0.1.0.0/glob.bend as Glob

import Base

320def AaGSeq.len(seq: List<&2, AaGTok>) -> Nat:
321  match seq:
322    case Nil{}:
323      0n
324    case Con{t, r}:
325      1n+AaGSeq.len(r)

Uses (3)

Used by (3)