def Tunnel.is_end
import bend-kube-runtime@0.2.0.0/src/proxy.bend as Proxyimport Base
351def Tunnel.is_end(+h: List<&2, U32>) -> Bool:
352 match h:
353 case Con{+a, Con{+b, Con{+c, Con{+d, t}}}}:
354 Bool.and(Bool.and(U32.is_eq(a, 10), U32.is_eq(b, 13)), Bool.and(U32.is_eq(c, 10), U32.is_eq(d, 13)))
355 case _:
356 False{}