Documentation
Init
.
Data
.
Format
.
Macro
Search
Google site search
Init
.
Data
.
Format
.
Macro
source
Imports
Init.Data.Format.Basic
Init.Data.ToString.Macro
Imported by
Std
.
termF!_
source
def
Std
.
termF!_
:
Lean.ParserDescr
Instances For