@[reducible, inline]

abbrev StrataDDM.PrattParsingTableMap : Type

Equations

• StrataDDM.PrattParsingTableMap = Std.HashMap StrataDDM.QualifiedIdent Lean.Parser.PrattParsingTables

opaque StrataDDM.parserExt : Lean.EnvExtension PrattParsingTableMap