def larger

bendtorch-core@0.1.0.0 · src/tensor/batched_matmul.bend:91

import Base
import bendtorch-core@0.1.0.0/src/tensor/matmul.bend as Matrix

91def larger(+a: Nat, +b: Nat) -> Nat:
92  Matrix.least(b, a, Nat.is_lt(a, b))