def le.same

bend-kit-scheduler@0.4.1.0 · queue.bend:26

import bend-kit-scheduler@0.4.1.0/queue.bend as Queue

import Base

26def le.same(b: Bool, i: Nat, j: Nat, d: Nat, e: Nat) -> Bool:
27  match b:
28    case True{}:
29      Nat.is_le(i, j)
30    case False{}:
31      Nat.is_le(d, e)

Uses (3)

Used by (8)