pub(crate) async fn insert_after_exercise_task_graded(
conn: &mut PgConnection,
set_user_variables: &Option<HashMap<String, Value>>,
exercise_task: &ExerciseTask,
user_exercise_state: &UserExerciseState,
) -> ModelResult<()>
pub(crate) async fn insert_after_exercise_task_graded(
conn: &mut PgConnection,
set_user_variables: &Option<HashMap<String, Value>>,
exercise_task: &ExerciseTask,
user_exercise_state: &UserExerciseState,
) -> ModelResult<()>