@leanprover/infoview
    Preparing search index...

    Interface InteractiveHypothesisBundle

    interface InteractiveHypothesisBundle {
        fvarIds?: string[];
        isInserted?: boolean;
        isInstance?: boolean;
        isRemoved?: boolean;
        isType?: boolean;
        names: string[];
        type: CodeWithInfos;
        val?: CodeWithInfos;
    }
    Index
    fvarIds? isInserted? isInstance? isRemoved? isType? names type val?
    fvarIds?: string[]

    Present since server version 1.1.2.

    isInserted?: boolean
    isInstance?: boolean
    isRemoved?: boolean
    isType?: boolean
    names: string[]

    The pretty names of the variables in the bundle. Anonymous names are rendered as "[anonymous]" whereas inaccessible ones have a ✝ appended at the end. Use InteractiveHypothesisBundle_nonAnonymousNames to filter anonymouse ones out.

    type: CodeWithInfos
    val?: CodeWithInfos

    Settings
    Member Visibility

    On This Page
    Properties