Documentation

Lake.Toml.Elab.Expression

TOML Expression Elaboration #

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

source
def Lake.Toml.elabToml (x : Lean.TSyntax `Lake.Toml.toml) :
Lean.CoreM Table
Equations
    Instances For