def cm.ct_eq

bend-osdev-mode-core@0.1.0.0 · mode_core.bend:264

import bend-osdev-mode-core@0.1.0.0/mode_core.bend as ModeCore
import Base

264# equality of two byte lists with no early exit of the same length (a tag check)
265def cm.ct_eq(xs: List<&2, U32>, ys: List<&2, U32>) -> Bool:
266  U32.is_eq(cm.diff(xs, ys, 0), 0)

Uses (5)

Used by (0)

No other definition uses this definition.