def mbit

bend-collections-laws-crypto@1.0.0.0 · src/math/w64.bend:611

import Base
import bend-collections-laws-crypto@1.0.0.0/src/math/u64.bend as W

611def mbit(odd: Bool, +m: W.U64, +mp: W.U64, +b: W.U64, +acc: W.U64) -> W.U64:
612  match odd:
613    case False{}:
614      acc
615    case True{}:
616      mont(m, mp, acc, b)