Function display_const_meta

crates/kernel/src/expr.rs:1006–1009

()

  }

  #[test]
  fn let_hash() {
    let e =
      AE::let_((), AE::sort(AU::zero()), AE::var(0, ()), AE::var(1, ()), true);
    assert_eq!(e.lbr(), 1);
    assert_eq!(e.count_0(), 1);
  }