Function puffin::algebra::bitstrings::replace_payloads

source ยท
pub fn replace_payloads<PT: ProtocolTypes, PB: ProtocolBehavior<ProtocolTypes = PT>>(
    _term: &Term<PT>,
    _eval_tree: &mut EvalTree,
    _payloads: Vec<PayloadContext<'_, PT>>,
    _ctx: &TraceContext<PB>,
) -> Result<ConcreteMessage, Error>
Expand description

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