law min_le_r.go

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

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

import Base

123law min_le_r.go:
124  for +a: U32
125  for +b: U32
126  for c: Bool
127  for e: {U32.is_lt(a, b) == c : Bool}
128  LE(Bool.pick(U32, c, a, b), b)

Uses (9)

Used by (1)

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