aboutsummaryrefslogtreecommitdiff
path: root/lib/basic.ml
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--lib/basic.ml3
1 files changed, 3 insertions, 0 deletions
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)
+