vault backup: 2023-10-13 15:02:27

This commit is contained in:
Louis Gallet 2023-10-13 15:02:27 +02:00
parent b79c8ba9a0
commit 17ba01e9e2
Signed by: lgallet
SSH Key Fingerprint: SHA256:qnW7pk4EoMRR0UftZLZQKSMUImbEFsiruLC7jbCHJAY

View File

@ -197,4 +197,5 @@ let insert_nth w i list =
| e::E when i = 1 -> x::e::t | e::E when i = 1 -> x::e::t
| e::t -> e::insrec (i - 1) t | e::t -> e::insrec (i - 1) t
in insrec i list;; in insrec i list;;
val insert_nth: 'a -> int -> 'a list -> 'a list = <fun>