Tensor.geo_xt: def of bendtorch@1.3.0.0 Import: import bendtorch@1.3.0.0/tensor.bend as Tensor Lines 664-667 of bendtorch@1.3.0.0/tensor.bend: https://jend.leeeet.dev/read.txt?path=bendtorch@1.3.0.0/tensor.bend&start_line=664&end_line=667 import Base def geo_xt(+g: Geo) -> U32: match g: case Geo{n, m, k, xb, xi, +xt, yb, yt, yj}: xt Uses (2): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=bendtorch@1.3.0.0/tensor.bend&name=Geo