adamc@758: fun handler' ls =
adamc@758: case ls of
adamc@758: Nil =>
adamc@758: | Cons (r, ls) => {[r.A]}, {[r.B]}, {[r.Sub]}{handler' ls}
adamc@758:
adamc@758: fun handler r = return
adamc@758: {[r.A]}, {handler' r.Sub}, {[r.C]}
adamc@758:
adamc@758:
adamc@758: fun main () = return
adamc@758:
adamc@758: