Function quot_prims

crates/kernel/src/tutorial/reduction.rs:1630–1639

(env: &KEnv<Meta>)

    check_accepts_with_prims(&mut env, &mk_id("Quot.mk"), prims);
  }

  /// quotLiftType: type assertion for Quot.lift
  #[test]
  fn good_quot_lift_type() {
    let mut env = quot_env();
    let prims = quot_prims(&env);
    check_accepts_with_prims(&mut env, &mk_id("Quot.lift"), prims);
  }

  /// quotIndType: type assertion for Quot.ind
  #[test]
  fn good_quot_ind_type() {
    let mut env = quot_env();