def cr.divides

bend-osdev-crypto@0.1.0.0 · modes.bend:138

import Base

138def cr.divides(pos: Bool, +len: Nat, +n: Nat) -> Bool:
139  match pos:
140    case True{}:
141      Nat.is_eq(Nat.mod(len, n), 0n)
142    case False{}:
143      False{}