Function quot_accessors

crates/kernel/src/constant.rs:200–209

()

    assert_eq!(c.lvls(), 1);
  }

  #[test]
  fn quot_accessors() {
    let c = KConst::<Anon>::Quot {
      name: (),
      level_params: (),
      kind: QuotKind::Type,
      lvls: 1,
      ty: sort0(),
    };
    assert_eq!(c.lvls(), 1);
  }