Documentation
Strata
.
DDM
.
Elab
.
Env
Search
return to top
source
Imports
Init
Lean.Environment
Lean.Parser.Basic
Strata.DDM.AST
Imported by
Strata
.
PrattParsingTableMap
Strata
.
parserExt
source
@[reducible, inline]
abbrev
Strata
.
PrattParsingTableMap
:
Type
Equations
Strata.PrattParsingTableMap
=
Std.HashMap
Strata.QualifiedIdent
Lean.Parser.PrattParsingTables
Instances For
source
opaque
Strata
.
parserExt
:
Lean.EnvExtension
PrattParsingTableMap