let lextoks toks = let tokens = ref (convert toks) in function _ -> match !tokens with | [] -> raise(Failure("Not even EOF given.")) | tk::tks -> tokens := tks; tk