adamc@601: datatype dlist = Nil | Cons of string * source dlist
adamc@601:
adamc@601: fun delist dl =
adamc@601: case dl of
adamc@601: Nil => []
adamc@601: | Cons (x, s) => {[x]} :: {delistSource s}
adamc@601:
adamc@601: and delistSource s =
adamc@601:
adamc@601: fun main () : transaction page =
adamc@601: ns <- source Nil;
adamc@601: s <- source ns;
adamc@601: tb <- source "";
adamc@601: return
adamc@601:
adamc@601:
adamc@601:
adamc@601:
adamc@601: