@(user: User)(content: Html) @main(user) {
@content
}