Function butterfly_add

Source
fn butterfly_add<T: TxOperations>(p0: T, p1: T) -> ((T, T), T)