Function read_addr_bytes

crates/compile/src/decompile.rs:235–246

Read exactly 32 bytes (Address) from a byte slice, advancing the cursor.

(buf: &mut &[u8])

        ED::Bvar(..)
        | ED::Fvar(..)
        | ED::Mvar(..)
        | ED::Sort(..)
        | ED::Const(..)
        | ED::Lit(..) => e.clone(),
      };
      let canonical = self
        .expr_intern
        .entry(*e.get_hash().as_bytes())
        .or_insert(rebuilt)
        .clone();
      memo.insert(key, canonical);
    }

    memo
      .remove(&Arc::as_ptr(&root.0))