Documentation

Lean.ParserCompiler.Attribute

Equations
  • One or more equations did not get rendered due to their size.
Instances For
    Equations
    • attr.getDeclFor? env parserDecl = (attr.ext.getState env).find? parserDecl
    Instances For
      Equations
      Instances For