mina_tree::proofs::wrap::wrap_verifier::split_commitments

Function combine

Source 
pub fn combine<F: FieldWitness>(
    _batch: PcsBatch,
    xi: [u64; 2],
    without_bound: &[(CircuitVar<Boolean>, Point<F>)],
    with_bound: &[()],
    w: &mut Witness<F>,
) -> CircuitVar<GroupAffine<F>>