Documentation
StrataDDM
.
Util
.
Ion
.
SystemSymbolIds
Search
return to top
source
Imports
Init
Lean.Elab.Command
StrataDDM.Util.Ion.AST
StrataDDM.Util.Ion.SymbolTable
Imported by
Ion
.
SymbolId
.
version
Ion
.
SymbolId
.
ionsymboltable
Ion
.
SymbolId
.
ion
Ion
.
SymbolId
.
symbols
Ion
.
SymbolId
.
ionsharedsymboltable
Ion
.
SymbolId
.
maxid
Ion
.
SymbolId
.
name
Ion
.
SymbolId
.
imports
Ion
.
SymbolId
.
ion10
source
def
Ion
.
SymbolId
.
version
:
SymbolId
Equations
Ion.SymbolId.version
=
{
value
:=
5
}
Instances For
source
def
Ion
.
SymbolId
.
ionsymboltable
:
SymbolId
Equations
Ion.SymbolId.ionsymboltable
=
{
value
:=
3
}
Instances For
source
def
Ion
.
SymbolId
.
ion
:
SymbolId
Equations
Ion.SymbolId.ion
=
{
value
:=
1
}
Instances For
source
def
Ion
.
SymbolId
.
symbols
:
SymbolId
Equations
Ion.SymbolId.symbols
=
{
value
:=
7
}
Instances For
source
def
Ion
.
SymbolId
.
ionsharedsymboltable
:
SymbolId
Equations
Ion.SymbolId.ionsharedsymboltable
=
{
value
:=
9
}
Instances For
source
def
Ion
.
SymbolId
.
maxid
:
SymbolId
Equations
Ion.SymbolId.maxid
=
{
value
:=
8
}
Instances For
source
def
Ion
.
SymbolId
.
name
:
SymbolId
Equations
Ion.SymbolId.name
=
{
value
:=
4
}
Instances For
source
def
Ion
.
SymbolId
.
imports
:
SymbolId
Equations
Ion.SymbolId.imports
=
{
value
:=
6
}
Instances For
source
def
Ion
.
SymbolId
.
ion10
:
SymbolId
Equations
Ion.SymbolId.ion10
=
{
value
:=
2
}
Instances For