@leanprover/infoview
    Preparing search index...

    Type Alias InfoviewAction

    type InfoviewAction = {
        kind: InfoviewActionKind;
    }
    Index
    kind
    kind: InfoviewActionKind

    Settings
    Member Visibility

    On This Page
    Properties