adam@2010: ffi foo : int -> int
adam@2010: ffi bar serverOnly benignEffectful : int -> transaction unit
adam@2010: ffi baz : transaction int
adam@2038: ffi adder : int -> int -> int
adam@2010:
adam@2038: ffi bup jsFunc "alert" : string -> transaction unit
adam@2039: ffi alert : string -> transaction unit
adam@2010:
adam@2010: fun other () : transaction page =
adam@2010: (*bar 17;
adam@2010: q <- baz;*)
adam@2010: return
adam@2010: (*{[foo 42]}, {[q]}*)
adam@2039:
adam@2010:
adam@2010: fun main () = return
adam@2010:
adam@2010: