def Edit.is_le

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

import Base

20def Edit.is_le(a: Edit, b: Edit) -> Bool:
21  match a b:
22    case Edit{p, x, e, t} Edit{q, y, f, u}:
23      U32.is_le(x, y)