Quoting https://github.com/janestreet/bonsai/blob/v0.15/examples/codemirror/dune#L1
(executables (names main) (libraries bonsai_web bonsai_web_ui_codemirror)
Where is this bonsai_web_ui_codemirror library ?
I do not see it at: https://github.com/janestreet/bonsai/tree/v0.15/web_ui
Nor do I see it at opam - Packages
Is this package public or is it janestreet internal ?
EDIT: Jane Street · GitHub also brings up nothing