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

vault backup: 2023-10-26 21:09:03

Browse Source
This commit is contained in:
Louis Gallet 2023-10-26 21:09:03 +02:00
parent 6c88ecb86f
commit 0a8d8cab37
Signed by: lgallet
SSH Key Fingerprint: SHA256:qnW7pk4EoMRR0UftZLZQKSMUImbEFsiruLC7jbCHJAY
1 changed files with 8 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
Code CAML.md
View File

@ -21,10 +21,13 @@ let pos_max lst =
failwith "pos_max: empty list" failwith "pos_max: empty list"
else else
let rec pmr mpos cpos = function let rec pmr mpos cpos = function
| [] -> mpos | e::[] -> mpos
| e::mval::t -> | mval::e::t ->
if e > mval then if e > mval then
pmr cpos (cpos + 1) t pmr cpos (cpos + 1) (e::t)
else else
pmr mval mpos (cpos + 1) t pmr mval mpos (cpos + 1) mval::t
in let init_max = in pmr 1 1;;
val pos_max lst = 'a list -> int = <fun>
```