fun formbased (): transaction page = return
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