Documentation

Lake.DSL.Script

Script Declarations #

DSL definitions to define a Lake script for a package.

source
def Lake.DSL.expandScriptDecl :
Lean.Macro
Equations
    Instances For