def Located.is_le

bend-lint-rules@0.2.0.0 · lib/text/main.bend:243

import Base

243def Located.is_le(a: Located, b: Located) -> Bool:
244  match a b:
245    case Located{i, x} Located{j, y}:
246      U32.is_le(i, j)