TorchLean API

Docs HomeInstallationGuideExamplesGraphsTools

NN.Widgets.IR.Graph

IR graph viewer #

#ir_view g shows Graph.checkWellFormed, expandable node details, and GraphViz DOT text. irHtml clips only the DOT preview; it still renders every node. The panel displays executable diagnostics, not a proof about the graph's semantics.

source
def NN.Widgets.irHtml (g : IR.Graph) (maxDotChars : ℕ := 6000) :
ProofWidgets.Html

Render an IR graph as a rich HTML panel.

Instances For

    Commands #

    source
    def NN.Widgets.irViewCmd :
    Lean.ParserDescr
    Instances For
      source
      def NN.Widgets.«command#ir_view_» :
      Lean.ParserDescr
      Instances For