bpserlet

OK, but then what I'd like the signature to be, somehow, is: inf[type: DType.*any*]() -> type In other words, force the type parameterization to be as descriptive as needed, but...

The terminology is very confusing: "DType is not a type" => maybe rename it? "SIMD is the fundamental numeric type in Mojo" => this is very bizarre. I think SIMD...

It's a general point I'm making: some Mojo APIs are defined on the scalar, some on the batch. Since you want to avoid "letting the compiler figure out how to...

> Do you mind pointing them out From math.bit's doc, ctlz and cttz are defined on scalars, e.g.: ` ctlz(val: Int) -> Int ` But the doc also implies they...

> What do you mean by "I don't think overloading works"? They most defiantly work. My mistake. Still trying to find my way in mojo. Given that why not always...