From 964d6773395b7008661b38c11acd24959f280fb1 Mon Sep 17 00:00:00 2001
From: Marc Coquand <marc@mccd.space>
Date: Mon, 20 May 2024 09:23:23 -0500
Subject: Replace ugly conversion

---
 lib/basic.ml | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 lib/basic.ml

(limited to 'lib/basic.ml')

diff --git a/lib/basic.ml b/lib/basic.ml
new file mode 100644
index 0000000..76b6863
--- /dev/null
+++ b/lib/basic.ml
@@ -0,0 +1,3 @@
+let array_drop n arr =
+  if Array.length arr < n then [||] else Array.sub arr n (max (Array.length arr - n) 0)
+
-- 
cgit v1.2.3