def geo_k

import bendtorch@1.3.0.0/tensor.bend as Tensor

import Base

659def geo_k(+g: Geo) -> Nat:
660  match g:
661    case Geo{n, m, +k, xb, xi, xt, yb, yt, yj}:
662      k

Uses (2)