def depth

import bolt@1.27.0.0/src/rules/suspicious/unused.bend as Unused

import Base

128# how many bits of a line the index branches on
129def depth() -> Nat:
130  16n

Uses (1)