law le_max_r.go

bend-lawful-stdlib@0.1.0.0 · src/u32.bend:146

import bend-lawful-stdlib@0.1.0.0/src/u32.bend as U32

import Base

146law le_max_r.go:
147  for +a: U32
148  for +b: U32
149  for c: Bool
150  for e: {U32.is_lt(a, b) == c : Bool}
151  LE(b, Bool.pick(U32, c, b, a))

Uses (9)

Used by (1)

bend-lawful-stdlib@0.1.0.0/src/u32:le_max_r