TOML Expression Elaboration

Elaborates top-level TOML syntax into a Lean Toml.Table.

def Lake.Toml.elabToml (x : Lean.TSyntax `Lake.Toml.toml) : Lean.CoreM Table

Equations

• One or more equations did not get rendered due to their size.