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

From: SF Markus Elfring
Date: Sat Jun 11 2016 - 01:27:59 EST


> 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