def MLIR.EDSL.Pretty.«uniform_opPoly.add» : Lean.ParserDescr

Equations

• MLIR.EDSL.Pretty.«uniform_opPoly.add» = Lean.ParserDescr.node `MLIR.EDSL.Pretty.«uniform_opPoly.add» 1024 (Lean.ParserDescr.symbol "poly.add")

def MLIR.EDSL.Pretty.uniform_opReturn : Lean.ParserDescr

Equations

• MLIR.EDSL.Pretty.uniform_opReturn = Lean.ParserDescr.node `MLIR.EDSL.Pretty.uniform_opReturn 1024 (Lean.ParserDescr.symbol "return")

def MLIR.EDSL.Pretty.«mlir_op_=Arith.const$_{_}:_» : Lean.ParserDescr

Equations

• One or more equations did not get rendered due to their size.

def MLIR.EDSL.Pretty.«mlir_op_=Arith.const_:_» : Lean.ParserDescr

Equations

• One or more equations did not get rendered due to their size.

def MLIR.EDSL.Pretty.«mlir_op_=Poly.const$_{_}:_» : Lean.ParserDescr

Equations

• One or more equations did not get rendered due to their size.

def MLIR.EDSL.Pretty.«mlir_op_=Poly.const_:_» : Lean.ParserDescr

Equations

• One or more equations did not get rendered due to their size.

def MLIR.EDSL.Pretty.«mlir_op_=Poly.monomial_:(_)->_» : Lean.ParserDescr

Equations

• One or more equations did not get rendered due to their size.