def bc_rank

bendtorch@1.3.0.0 · tensor.bend:85

import Base

85# the ranks: o's is the larger of a's and b's
86def bc_rank(+la: Nat, +lb: Nat, +lo: Nat) -> Bool:
87  Bool.and(Bool.and(Nat.is_le(la, lo), Nat.is_le(lb, lo)), Bool.or(Nat.is_eq(la, lo), Nat.is_eq(lb, lo)))