@leanprover/infoview
    Preparing search index...

    Interface DynamicComponentProps

    interface DynamicComponentProps {
        hash: string;
        pos?: DocumentPosition;
        props: any;
    }
    Index
    hash: string

    set EnvPosContext instead

    props: any