verusdoc: hiding internal functions for traits #607
Closed
jaybosamiya
started this conversation in
General
Replies: 2 comments 1 reply
-
|
should be a pretty easy fix - is there much to discuss? |
Beta Was this translation helpful? Give feedback.
1 reply
-
|
I don't think so, that's why I'd opened it as an issue #602 I thought it was a simple fix and since you're familiar with the verusdoc stuff, I assigned you to it since I thought it'd be an easy fix for you |
Beta Was this translation helpful? Give feedback.
-
|
resolved in a67e659 |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
We probably want to hide the
VERUS_SPEC__*functions from the documentation (#[doc(hidden)]or similar).For example, see https://verus-lang.github.io/verus/verusdoc/vstd/slice/trait.SliceAdditionalSpecFns.html which currently shows:
Beta Was this translation helpful? Give feedback.
All reactions