@leanprover/infoview
Preparing search index...
index
InfoviewTacticStateFilter
Interface InfoviewTacticStateFilter
interface
InfoviewTacticStateFilter
{
flags
:
string
;
match
:
boolean
;
name
?:
string
;
regex
:
string
;
}
Index
Properties
flags
match
name?
regex
Properties
flags
flags
:
string
match
match
:
boolean
Optional
name
name
?:
string
regex
regex
:
string
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
flags
match
name
regex
@leanprover/infoview
Loading...