another test for lists

This commit is contained in:
Simon Cruanes 2025-12-20 11:08:39 -05:00
parent 15b421c54e
commit ddc87518a7
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -721,6 +721,13 @@ q
let i = abs i in let i = abs i in
let l1, l2 = take_drop i l in let l1, l2 = take_drop i l in
l1 @ l2 = l) l1 @ l2 = l)
;;
q
(Q.pair (Q.list Q.small_int) Q.int)
(fun (l, i) ->
let i = abs i in
take_drop i l = (take i l, drop i l))
let subs = sublists_of_len;; let subs = sublists_of_len;;