@leanprover/infoview
    Preparing search index...

    Interface InfoviewTacticStateFilter

    interface InfoviewTacticStateFilter {
        flags: string;
        match: boolean;
        name?: string;
        regex: string;
    }
    Index
    flags: string
    match: boolean
    name?: string
    regex: string