def path.len
import emerging-eztoml@0.9.0.0/main.bend as EmergingEztomlimport Base
2406# how many segments are already the current table
2407def path.len(xs: List<&2, String>, nn: U32) -> U32:
2408 match xs:
2409 case []:
2410 nn
2411 case _ <> t:
2412 path.len(t, U32.add(nn, 1))