W64.mbit: def of bend-collections@1.0.0.0 Import: import bend-collections@1.0.0.0/src/math/w64.bend as W64 Lines 611-616 of bend-collections@1.0.0.0/src/math/w64.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/src/math/w64.bend&start_line=611&end_line=616 import Base import bend-collections@1.0.0.0/src/math/u64.bend as W def mbit(odd: Bool, +m: W.U64, +mp: W.U64, +b: W.U64, +acc: W.U64) -> W.U64: match odd: case False{}: acc case True{}: mont(m, mp, acc, b) Uses (3): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/math/u64.bend&name=U64 https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/math/w64.bend&name=mont