def slots_for
import bend-visgraph@2.0.0.0/visgraph.bend as Visgraphimport Base
971def slots_for(+n: U32) -> Nat:
972 Nat.add(1n, U32.log2(n))
import bend-visgraph@2.0.0.0/visgraph.bend as Visgraphimport Base
971def slots_for(+n: U32) -> Nat:
972 Nat.add(1n, U32.log2(n))