@leanprover/infoview
Preparing search index...
index
InteractiveHypothesisBundle_nonAnonymousNames
Function InteractiveHypothesisBundle_nonAnonymousNames
InteractiveHypothesisBundle_nonAnonymousNames
(
ih
:
InteractiveHypothesisBundle
,
)
:
string
[]
Filter out anonymous pretty names from the names list.
Parameters
ih
:
InteractiveHypothesisBundle
Returns
string
[]
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
@leanprover/infoview
Loading...
Filter out anonymous pretty names from the names list.