let rec insert_levels (all_ls: level list) (ls: level list) = match ls with | [] -> all_ls | lev::tl -> let all_ls' = (insert_new_level lev all_ls) in insert_levels all_ls' tl