@leanprover/infoview
    Preparing search index...

    Type Alias CodeWithInfos

    CodeWithInfos: TaggedText<SubexprInfo>

    A piece of code pretty-printed with subexpression information by the Lean server.

    Settings
    Member Visibility