Re: [Cocci] [PATCH 0/4] scripts/coccicheck: add paramap and indexing options

> we should be able to also take advantage of with coccicheck, > the most important one is paramap support. Do OCaml developers prefer to refer to the software "Parmap" here? https://rdicosmo.github.io/parmap/ Regards, Markus

Re: [Cocci] [PATCH 0/4] scripts/coccicheck: add paramap and indexing options

> we should be able to also take advantage of with coccicheck, > the most important one is paramap support. Do OCaml developers prefer to refer to the software "Parmap" here? https://rdicosmo.github.io/parmap/ Regards, Markus