lgallet/epicours
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

vault backup: 2023-10-30 10:26:22

Browse Source
This commit is contained in:
Louis Gallet 2023-10-30 10:26:22 +01:00
parent 615d8a726a
commit dd1befc4ef
Signed by: lgallet
SSH Key Fingerprint: SHA256:qnW7pk4EoMRR0UftZLZQKSMUImbEFsiruLC7jbCHJAY
1 changed files with 8 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
Exam.md
View File

@ -1,20 +1,12 @@
## Multiple insertion ## Multiple insertion
``` ```
# let insert_mult n x lst = # let rec remove_x x = function
if n <= 0 then | [] -> []
invalid_arg "insert_mult: n must be > 0" | e::t ->
else if (e = x) then
let rec aux count = function remove_x x t
| [] -> [] else e::remove_x x t
| e::t ->
if (count = n) then val remove_x: 'a -> 'a list -> 'a list
e :: x :: aux 1 t
else
e :: aux (count + 1) t
in
match lst with
| [] -> []
| z::f -> z :: aux 0 f
val insert_mult: int -> 'a -> 'a list -> 'a list = <fun>
``` ```