sig
val
ints : int
->
int
->
int list
val
choose_many : int
->
'
a list
->
'
a list
end