def asks
import ezx@1.11.0.0/src/pkg/pkg.bend as Pkgimport Base
1360# how many files the walk from disk may ask for. It asks for one file a round
1361# and cannot know how many the checkout holds until it has read them, so this
1362# is a guard against a walk that keeps asking, not a limit on a package: a
1363# package of more files than this is refused, never hashed short.
1364def asks() -> Nat:
1365 U32.to_nat(100000)