>> https://github.com/coccinelle/coccinelle/blob/3b52bd3c6960dc996186e1c58c96355db288825c/docs/manual/cocci_syntax.tex#L632 > > About the same as the chance that someone will make a patch suitable for > adding the information.
I would find it hard to extract mentioned constraints from the OCaml source files directly. Are you mostly the one who will need to share any more background information for this software detail so that it can be converted to a corresponding TeX format? Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
