From 5374fa0f4b0e2e8fb93fb73ee3a1abef84c0b786 Mon Sep 17 00:00:00 2001
From: Olivier Gayot <olivier.gayot@sigexec.com>
Date: Wed, 11 Jul 2018 20:58:53 +0200
Subject: Add the rev_append function

Signed-off-by: Olivier Gayot <olivier.gayot@sigexec.com>
---
 my_list.mli | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'my_list.mli')

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