def le

import bend-collections@1.0.0.0/src/containers/binary_heap.bend as BinaryHeap

import Base

48def le(~A: Data, ~cmp: A -> A -> Cmp, x: A, y: A) -> Bool:
49  Cmp.is_le(cmp(x, y))

Uses (3)