def bc_pair

bendtorch@1.3.0.0 · tensor.bend:66

import Base

66# one axis: z is x, and y is x or 1
67def bc_pair(+x: Nat, +y: Nat, +z: Nat) -> Bool:
68  Bool.and(Nat.is_eq(z, x), Bool.or(Nat.is_eq(y, x), Nat.is_eq(y, 1n)))