Module puffin::algebra::bitstrings

Structs

• EvalTree
  A tree of evaluated term, linked to the term structure itself. Created while evaluating a term.
• PayloadContext
  Payload with the context related to the term it originates from
• Payloads
  Terms are Terms equipped with optional Payloads when they no longer are treated as symbolic terms.

Functions

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