Module users 

Structs

User

Functions

delete_user

find_by_upstream_id

get_all_user_ids_with_user_exercise_states_on_course

Includes all users who have returned an exercise on a course course instance

get_by_email

Looks up a user by email (case-insensitive) using the lower(email) index on user_details.

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

update_email_for_user