Documentation

Lean.Compiler.ClosedTermCache

Equations
@[export lean_cache_closed_term_name]
Equations
  • One or more equations did not get rendered due to their size.