adam@2025: fun main () : transaction page = adam@2025: let adam@2025: return Hi {[alice]} and {[bob]}! adam@2025: where adam@2025: val alice = "Alice" adam@2025: val bob = "Bob" adam@2025: end