def LE

bend-kit-collections@0.1.4.1 · nat_order.bend:26

import Base

26def LE(a: Nat, b: Nat) -> Data:
27  {Nat.is_le(a, b) == True{} : Bool}