def leb_of

bend-ml-tensor-array@0.1.19.0 · main.bend:608

import bend-ml-tensor-array@0.1.19.0/main.bend as BendMlTensorArray

import Base

608def leb_of(+a: Nat, +b: Nat, e: {True{} == Nat.is_le(a, b) : Bool}) -> {True{} == leb(a, b) : Bool}:
609  %le_leb(a, b) : {True{} == _ : Bool}
610  e

Uses (5)

Used by (1)

bend-ml-tensor-array@0.1.19.0/main:dbl_inv