Method sort_mdata

crates/kernel/src/expr.rs:306–309

(u: KUniv<M>, mdata: M::MField<Vec<MData>>)

impl<M: KernelMode> PartialEq for KExpr<M> {
  fn eq(&self, other: &Self) -> bool {
    self.structural_eq(other)
  }
}

impl<M: KernelMode> Eq for KExpr<M> {}