TorchLean API

Docs Home Guide Examples Graphs

Lean.Util.TestExtern

Declaration colors

deftheoremstructureaxiom

Imports

Init.Notation
Lean.Exception
Lean.Compiler.ExternAttr
Lean.Compiler.ImplementedByAttr
Lean.Elab.Command
Lean.Meta.Eval
Lean.Meta.Tactic.Unfold

Imported by

def testExternCmd :

Lean.ParserDescr

Instances For

unsafe def elabTestExtern :

Lean.Elab.Command.CommandElab

Instances For