@* A sample template that takes a vector argument and loops over it. *@ @use crate::models::User; @(users: &[User])