get-user-task-list-for-user-params

record get-user-task-list-for-user-params {
  user-gid: string,
  opt-pretty: option​<bool>,
  opt-fields: option​<list​<string>>,
  workspace: string,
}