/* Validate user input data */
users : {
  user1: {name: "Alice", email: "alice@example.com", age: 25},
  user2: {name: "", email: "invalid-email", age: -5},
  user3: {name: "Charlie", email: "charlie@test.com", age: 30}
};

/* Simple validation example */
is_valid_name : user -> 
  when user.name = "" is
    true then false
    _ then true;

is_valid_age : user -> 
  when user.age > 0 is
    true then true
    _ then false;

/* Apply validation to all users */
valid_names : map @is_valid_name users;
valid_ages : map @is_valid_age users;