Module users

Structs

• User

Functions

• delete_user
• find_by_upstream_id
• get_all_user_ids_with_user_exercise_states_on_course_instance
  Includes all users who have returned an exercise on a course course instance
• get_by_email
• get_by_id
• get_users_by_course_instance_enrollment
• get_users_ids_in_db_from_upstream_ids
• insert
• insert_with_upstream_id_and_moocfi_id
• try_get_by_email
• update_email_for_user