Dtype.dq_go: def of bendtorch@1.3.0.0 Import: import bendtorch@1.3.0.0/dtype.bend as Dtype Lines 438-441 of bendtorch@1.3.0.0/dtype.bend: https://jend.leeeet.dev/read.txt?path=bendtorch@1.3.0.0/dtype.bend&start_line=438&end_line=441 import Base import bend-ml-tensor-array@0.1.18.0/main.bend as TA def dq_go(+r: Nat, +c: Nat, q: Array, sl: FL) -> TA.Mat: match sl: case FL{s, ss}: dq_fin(r, c, q, ss) Uses (6): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=bend-ml-tensor-array@0.1.19.0/main.bend&name=Mat https://jend.leeeet.dev/definition.txt?path=bendtorch@1.3.0.0/dtype.bend&name=FL https://jend.leeeet.dev/definition.txt?path=bendtorch@1.3.0.0/dtype.bend&name=dq_fin