Method let_mdata

crates/kernel/src/expr.rs:558–568

(
    name: M::MField<Name>,
    ty: KExpr<M>,
    val: KExpr<M>,
    body: KExpr<M>,
    non_dep: bool,
    mdata: M::MField<Vec<MData>>,
  )

    mdata: M::MField<Vec<MData>>,
  ) -> Self {
    let addr = fresh_uid();
    Self::app_mdata_with_addr(f, a, mdata, addr)
  }

  pub fn lam(
    name: M::MField<Name>,
    bi: M::MField<BinderInfo>,
    ty: KExpr<M>,
    body: KExpr<M>,
  ) -> Self {
    Self::lam_mdata(name, bi, ty, body, no_mdata::<M>())
  }

  /// Compute the content hash for [`KExpr::lam_mdata`].