vault backup: 2023-10-13 15:41:17
This commit is contained in:
parent
80756ff275
commit
f955d7c0fc
@ -202,4 +202,4 @@ val insert_nth: 'a -> int -> 'a list -> 'a list = <fun>
|
||||
# let insert_post x y list = match list with
|
||||
| [] -> failwith "list is too large or empty"
|
||||
| e::t -> if e = x then e::y::t else e::insert_post x y (t);;
|
||||
val insert_post : 'a -> '
|
||||
val insert_post : 'a -> a' list -> list = <fun>
|
Loading…
x
Reference in New Issue
Block a user