Documentation
Lake
.
Toml
.
Load
Search
return to top
source
Imports
Std.Do
Lake.Toml.Elab
Lake.Util.Message
Lean.Parser.Types
Lake.Toml.Data.Value
Imported by
Lake
.
Toml
.
loadToml
source
def
Lake
.
Toml
.
loadToml
(
ictx
:
Lean.Parser.InputContext
)
:
EIO
Lean.MessageLog
Table
Load a TOML table from some input.
Instances For