def Int.is_eq

import bend-kit-int@0.2.0.0/int.bend as Int

import Base

75def Int.is_eq(+n: Nat, a: Word(n), b: Word(n)) -> Bool:
76  Cmp.is_eq(Word.cmp(n, a, b))

Uses (5)