Function mk_ctor

crates/kernel/src/canonical_check.rs:888–900

(_addr: &str, fields: u64, params: u64, ty: AE)

      params,
      fields,
      ty,
    }
  }

  fn no_ctors() -> Box<dyn Fn(&KId<Anon>) -> Option<KConst<Anon>>> {
    Box::new(|_| None)
  }

  // ---- compare_kuniv ----

  #[test]
  fn compare_kuniv_zero_eq_zero() {
    let z = AU::zero();
    let z2 = AU::zero();
    assert_eq!(compare_kuniv(&z, &z2).ordering, Ordering::Equal);
  }