Documentation

Lean.DocString.Formatter

source
def Lean.Doc.Parser.versoSyntaxToString (stx : Syntax) (alternate : Bool := false) :
String
Instances For
    source
    def Lean.Doc.Parser.versoDocumentToString (blocks : TSyntaxArray `Lean.Doc.Parser.block) :
    String

    Renders a sequence of blocks as Verso.

    Instances For
      source
      def Lean.Doc.Parser.document.formatter :
      PrettyPrinter.Formatter
      Instances For