def raw_len

import bend-schema-lib@0.4.1.0/core.bend as Core

import Base

405def raw_len(r: Raw) -> Nat:
406  match r:
407    case RCons{h, t}:
408      1n+raw_len(t)
409    case _:
410      0n

Uses (2)