Documentation
Printf
.
Macro
Search
return to top
source
Imports
Init
Printf.Classes.HPrintfType
Printf.Classes.PrintfArg
Printf.Classes.PrintfType
Imported by
Printf
.
printf_macro
Printf
.
hPrintf_macro
source
def
Printf
.
printf_macro
:
Lean.ParserDescr
Equations
One or more equations did not get rendered due to their size.
Instances For
source
def
Printf
.
hPrintf_macro
:
Lean.ParserDescr
Equations
One or more equations did not get rendered due to their size.
Instances For