ML: Regrouper deux listes dans une seule

fun append([],[])=
[]
| append(list1, list2) =
case list1 of
[]=>list2
|x’::list’ => x’::append(list’, list2)

Comments are closed.