fun formbased (): transaction page = return Your name: Your message: Delivered on the same day and formbased_handler (r : {Nam : string, Msg : string, Sameday : bool}) : transaction page = return Oh hello {[r.Nam]}! Great to see you here again! Your message was: {[r.Msg]} Sameday delivery was: {[if r.Sameday then "set" else "unset"]} fun say_hi_to (s : string) : transaction page = return It's {[s]} birthday! fun optimized_out (): transaction page = return this one is optimized away since it's not referenced in the declarations fun main (): transaction page = return hello Say hi to JC
Oh hello {[r.Nam]}! Great to see you here again!
Your message was:
{[r.Msg]}
Sameday delivery was:
{[if r.Sameday then "set" else "unset"]}
It's {[s]} birthday!
hello
Say hi to JC