Function infer_const

crates/kernel/src/infer.rs:692–699

()

  #[test]
  fn infer_const() {
    let mut env = test_env();
    let mut tc = TypeChecker::new(&mut env);
    let nat = AE::cnst(mk_id("Nat"), Box::new([]));
    let ty = tc.infer(&nat).unwrap();
    // Nat : Sort 1
    assert_eq!(ty, sort1());
  }

  #[test]
  fn infer_lam() {