Module user_details

Structs

• UserDetail

Functions

• get_user_details_by_user_id
• get_users_by_course_id
  Retrieves all users enrolled in a specific course
• get_users_details_by_user_id_map
• search_for_user_details_by_email
• search_for_user_details_by_other_details
• search_for_user_details_fuzzy_match
• stream_users_details_having_user_exercise_states_on_course
  Includes all users who have returned an exercise on a course