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).