Documentation
Init
.
Data
.
Format
.
Macro
Search
return to top
source
Imports
Init.Data.Format.Basic
Init.Data.ToString.Macro
Imported by
Std
.
termF!_
source
def
Std
.
termF!_
:
Lean.ParserDescr
Equations
Instances For