Documentation

Lean.Compiler.Specialize

@[export lean_has_specialize_attribute]
@[export lean_has_nospecialize_attribute]
structure Lean.Compiler.SpecInfo :
Type
Instances For
    Equations
    Equations
    Equations
    • One or more equations did not get rendered due to their size.
    Equations