@leanprover/infoview
    Preparing search index...

    Interface SubexprInfo

    interface SubexprInfo {
        diffStatus?: DiffTag;
        info: InfoWithCtx;
        subexprPos?: string;
    }
    Index
    diffStatus? info subexprPos?
    diffStatus?: DiffTag
    info: InfoWithCtx
    subexprPos?: string

    Settings
    Member Visibility

    On This Page
    Properties