~/jendhub

def ew_depth

bendtorch-fast@1.3.0.0 · main.bend:40

import bendtorch-fast@1.3.0.0/main.bend as BendtorchFast
import Base

40def ew_depth(+cnt: Nat) -> Nat:
41  ew_d2(Nat.is_lt(cnt, 131072n), Nat.is_le(1048576n, cnt), cnt)

Uses (4)

Used by (5)