def StrataDDM.Elab.LoadedDialects.builtin : LoadedDialects

Equations

• StrataDDM.Elab.LoadedDialects.builtin = StrataDDM.Elab.LoadedDialects.ofDialects! #[StrataDDM.initDialect, StrataDDM.headerDialect, StrataDDM.StrataDDL]