def pair.le
import bend-kit-sigv4@0.11.0.1/sigv4.bend as Sigv4import Base
import bend-kit-collections@0.1.4.1/order.bend as Order
167def pair.le(a: Sigma<&2, &2, String, _ => String>, b: Sigma<&2, &2, String, _ => String>) -> Bool:
168 (ak, av) = a
169 (bk, bv) = b
170 pair.le.of(Order.string(ak, bk), av, bv)