Documentation

Lean.Elab.Mixfix

source
def Lean.Elab.Command.expandMixfix :
Macro
Equations
    Instances For
      source
      def Lean.Elab.Command.expandMixfix.withAttrKindGlobal (stx : Syntax) (f : Syntax → MacroM (TSyntax `command)) :
      MacroM Syntax
      Equations
        Instances For