From 5374fa0f4b0e2e8fb93fb73ee3a1abef84c0b786 Mon Sep 17 00:00:00 2001 From: Olivier Gayot Date: Wed, 11 Jul 2018 20:58:53 +0200 Subject: Add the rev_append function Signed-off-by: Olivier Gayot --- my_list.mli | 4 ++++ 1 file changed, 4 insertions(+) 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 -- cgit v1.2.3