Function ctor_accessors

crates/kernel/src/constant.rs:212–225

()

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

  #[test]
  fn ctor_accessors() {
    let c = KConst::<Anon>::Ctor {
      name: (),
      level_params: (),
      is_unsafe: false,
      lvls: 0,
      induct: KId::new(mk_addr("Nat"), ()),
      cidx: 0,
      params: 0,
      fields: 0,
      ty: sort0(),
    };
    assert_eq!(c.lvls(), 0);
  }