adamc@613: sequence s
adamc@613: sequence s2
adamc@613:
adamc@613: fun dint src = n <- signal src; return {[n]}
adamc@613:
adamc@613: fun main () : transaction page =
adamc@613: let
adamc@613: fun getNext () =
adamc@613: n <- nextval s;
adamc@613: n2 <- nextval s2;
adamc@613: return (n, n2)
adamc@613: in
adamc@613: src1 <- source 0;
adamc@613: src2 <- source 0;
adamc@613: return
adamc@613:
adamc@613: end