fun ancillary () : transaction page = return fun ancillary () = return Welcome to the ancillary page! fun main () : transaction page = return Enter the unknown!