Method all

crates/kernel/src/expr.rs:455–462

(
    name: M::MField<Name>,
    bi: M::MField<BinderInfo>,
    ty: KExpr<M>,
    body: KExpr<M>,
  )

  ) -> Self {
    let addr = fresh_uid();
    Self::lam_mdata_with_addr(name, bi, ty, body, mdata, addr)
  }

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