/* Test table access in function definitions */

/* Test basic table access */
user : {role: "admin", active: true};
test1 : user.role;
test2 : user.active;
..out test1;
..out test2;

/* Test table access in function */
get_role : user -> user.role;
test3 : get_role user;
..out test3;

/* Test table access inside when in function */
classify_user : user ->
  when user.role is
    "admin" then "admin"
    _ then "user";

test4 : classify_user user;
..out test4;