Is bonsai_web_ui_codemirror public?

Learning
1

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

1 Like