def cmp.fin
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytesimport Base
617def cmp.fin(+la: U32, +lb: U32, r: Array<U32> & Array<U32> & Cmp) -> Bytes & Bytes & Cmp:
618 (x, y, c) = r
619 (Bytes{la, x}, Bytes{lb, y}, cmp.len(c, la, lb))
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytesimport Base
617def cmp.fin(+la: U32, +lb: U32, r: Array<U32> & Array<U32> & Cmp) -> Bytes & Bytes & Cmp:
618 (x, y, c) = r
619 (Bytes{la, x}, Bytes{lb, y}, cmp.len(c, la, lb))