Method prj_mdata_with_addr

crates/kernel/src/expr.rs:589–599

(
    id: KId<M>,
    field: u64,
    val: KExpr<M>,
    mdata: M::MField<Vec<MData>>,
    addr: Addr,
  )

  }

  pub fn str(val: String, blob_addr: Address) -> Self {
    Self::str_mdata(val, blob_addr, no_mdata::<M>())
  }

  fn str_mdata_with_addr(
    val: String,
    blob_addr: Address,
    mdata: M::MField<Vec<MData>>,
    addr: Addr,
  ) -> Self {
    KExpr::new(ExprData::Str(
      val,
      blob_addr,
      mk_info::<M>(addr, 0, 0, false, mdata),