def least

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

import Base

326def least(+a: Nat, +b: Nat, smaller: Bool) -> Nat:
327  match smaller:
328    case True{}:
329      a
330    case False{}:
331      b

Uses (2)