@leanprover/infoview
    Preparing search index...

    Function TaggedText_stripTags

    • Reduce a TaggedText into its text contents without tags.

      Type Parameters

      • T

      Parameters

      Returns string

    Settings
    Member Visibility