def tw

bend-collections-laws-crypto@1.0.0.0 · src/math/generic.bend:270

import Base
import bend-collections-laws-crypto@1.0.0.0/src/math/num.bend as N

270def tw(~T: Data, ~op: N.Op<T> -> T, ~test: N.Test<T> -> Bool, fl: Nat, +a: T, +b: T, +c: Nat, both: Bool) -> T:
271  match fl both:
272    case 0n _:
273      dbl(~T, ~op, c, bl_start(~T, ~op, ~test, strip(~T, ~op, ~test, a), b))
274    case 1n+f False{}:
275      dbl(~T, ~op, c, bl_start(~T, ~op, ~test, strip(~T, ~op, ~test, a), b))
276    case 1n+f True{}:
277      tw(~T, ~op, ~test, f, op(N.Half{a}), op(N.Half{b}), 1n+c, ev2(~T, ~test, op(N.Half{a}), op(N.Half{b})))