diff options
Diffstat (limited to 'my_list.mli')
| -rw-r--r-- | my_list.mli | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/my_list.mli b/my_list.mli index 9229064..72535d5 100644 --- a/my_list.mli +++ b/my_list.mli @@ -66,3 +66,7 @@ let rec append l1 l2 = match l1 with | Item(hd, tl) -> Item(hd, (append tl l2)) | None -> l2 + +(** Return a list which results in the concatenation of reversed l1 and l2. *) +let rev_append l1 l2 = + append (rev l1) l2 |