def lle

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

import bend-kit-collections@0.1.4.1/nat_order.bend as NatOrder

import Base

77def lle(p: Lin, q: Lin) -> Bool:
78  match p q:
79    case L{a0, a1, a2, a3, a4} L{b0, b1, b2, b3, b4}:
80      Bool.and(Nat.is_le(a0, b0), Bool.and(Nat.is_le(a1, b1), Bool.and(Nat.is_le(a2, b2),
81        Bool.and(Nat.is_le(a3, b3), Nat.is_le(a4, b4)))))

Uses (4)

Used by (2)