| Type: | Set[task] |
| an unordered set of entities of type: task | |
| Name: | tasks |
| list of tasks created using the current session |
Accessors
-
Set[task]
get_tasks
(session session_id, session self)
Get the tasks field of the given session.