Function apply_mdata

crates/compile/src/decompile.rs:413–421

Wrap a LeanExpr in pre-decompiled mdata layers. The `lean_mdata` vec stores layers outermost-first. We iterate in reverse to wrap innermost-first: given [kv_outer, kv_inner], result is mdata(kv_outer, mdata(kv_inner, expr)).

(
  mut expr: LeanExpr,
  lean_mdata: Vec<Vec<(Name, LeanDataValue)>>,
)

}

/// Read a Tag0-encoded u64 from a byte slice, advancing the cursor.
fn read_tag0(buf: &mut &[u8]) -> Result<u64, DecompileError> {
  Tag0::get(buf).map(|t| t.size).map_err(|_| {
    DecompileError::BadConstantFormat {
      msg: "read_tag0: unexpected EOF".into(),
    }
  })
}

/// Read exactly 32 bytes (Address) from a byte slice, advancing the cursor.
fn read_addr_bytes(buf: &mut &[u8]) -> Result<Address, DecompileError> {
  if buf.len() < 32 {