adam@1643: style s1 adam@1643: style s2 adam@1643: adam@1643: fun main () : transaction page = adam@1643: src <- source s1; adam@1643: s <- source ""; adam@1643: toggle <- source False; adam@1643: return adam@1643: adam@1643: adam@1643: adam@1643: adam@1643: