Http.cookie.longer: def of bend-kit-http@0.38.2.0
Import: import bend-kit-http@0.38.2.0/http.bend as Http
Lines 2414-2418 of bend-kit-http@0.38.2.0/http.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-http@0.38.2.0/http.bend&start_line=2414&end_line=2418

import Base

# The sort order of §5.8.3: longer paths first; the stable sort keeps creation order among equals.
def cookie.longer(a: Cookie, b: Cookie) -> Bool:
  Cookie{n1, v1, d1, h1, p1, s1, o1, ss1, e1} = a
  Cookie{n2, v2, d2, h2, p2, s2, o2, ss2, e2} = b
  Bool.not(Nat.is_lt(String.length(p1), String.length(p2)))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_lt
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.length
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=Cookie