def list_eq.fast

bend-osdev-bytes@0.1.1.0 · bytes.bend:391

import bend-osdev-bytes@0.1.1.0/bytes.bend as Bytes

import Base

391# list_eq, tail-recursive; every element is compared (LAWS.bend: list_eq_fast)
392def list_eq.fast(xs: List<&2, U32>, ys: List<&2, U32>) -> Bool:
393  list_eq.go(xs, ys, True{})

Uses (4)

Used by (3)