Function puffin::algebra::bitstrings::replace_payloads

pub fn replace_payloads<PT: ProtocolTypes>(
    term: &Term<PT>,
    eval_tree: &mut EvalTree,
    payloads: Vec<PayloadContext<'_, PT>>,
) -> Result<ConcreteMessage, Error>

Operate the payloads replacements in eval_tree.encode[vec![]] and returns the modified bitstring by “splicing”. @payloads follows this order: deeper terms first, left-to-right, assuming no overlap (no two terms one being a sub-term of the other).