def Placed.is_le
import bend-lint-rules@0.2.0.0/lib/text/main.bend as BendLintRulesimport Base
238def Placed.is_le(a: Placed, b: Placed) -> Bool:
239 match a b:
240 case Placed{i, x} Placed{j, y}:
241 U32.is_le(x, y)
import bend-lint-rules@0.2.0.0/lib/text/main.bend as BendLintRulesimport Base
238def Placed.is_le(a: Placed, b: Placed) -> Bool:
239 match a b:
240 case Placed{i, x} Placed{j, y}:
241 U32.is_le(x, y)