adamc@398: datatype list t = Nil | Cons of t * list t adamc@398: adamc@398: fun handler (ls : list bool) = return adamc@398: adamc@398: fun main () : transaction page = return adamc@398: ! adamc@398: