This issue tracks the work related to the parameterization of libraries with parameterized libraries in OxCaml. This part requires #12084 to be completed first.

Dune should support declaring a library as being parameterized by multiple parameters:

(library
  (name lib)
  (parameters p_intf q_intf ...) ; ocamlc lib.ml -parameter P_intf …
  ...)

All the files in that library must be compiled as usual, but with the additional -parameter P_intf -parameter Q_intf ... flags (ordering is irrelevant, but it doesn't make sense to have the same parameter twice).