def equal

bendvy-ecs-core@0.1.0.3 · decode_utf16.bend:16

import bendvy-ecs-core@0.1.0.3/decode_utf16.bend as DecodeUtf16
import Base

16def equal(left:List<&2,U32>,right:List<&2,U32>) -> Bool:
17  match left:
18    case []: empty(right)
19    case head <> tail: compared(head,right,rest => equal(tail,rest))

Uses (5)

Used by (1)