You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It looks like the changes to owl_ode.mli introduced in #14 have made the part of documentation of the Native and Symplectic modules disappear (not the autocompletion or merlin information, just odoc's documentation).
This may be a chance to document better the interface in a new native.mli and symplectic.mli module, although it would be nice to be able to re-enable odoc documentation there
The text was updated successfully, but these errors were encountered:
It looks like the changes to
owl_ode.mli
introduced in #14 have made the part of documentation of the Native and Symplectic modules disappear (not the autocompletion or merlin information, just odoc's documentation).This may be a chance to document better the interface in a new native.mli and symplectic.mli module, although it would be nice to be able to re-enable odoc documentation there
The text was updated successfully, but these errors were encountered: