Annotate some ignored parameters in lib.ml#12883

rgrinberg merged 2 commits intoocaml:mainocaml/dune:mainfrom

rgrinberg:ignore-parameter-annotatergrinberg/jbuilder:ignore-parameter-annotateCopy head branch name to clipboard