Documentation

Lean.Compiler.IR.Format

Equations
Equations
Equations
Equations
@[export lean_ir_decl_to_string]
Equations