def Lake.env (cmd : String) (args : optParam (Array String) #[]) : Lake.LakeT IO UInt32

Equations

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

def Lake.exe (name : Lake.Name) (args : optParam (Array String) #[]) (buildConfig : optParam Lake.BuildConfig { oldMode := false, trustHash := true, noBuild := false, verbosity := Lake.Verbosity.normal, failIfWarnings := false, useStdout := false }) : Lake.LakeT IO UInt32

Equations

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

def Lake.uploadRelease (pkg : Lake.Package) (tag : String) : Lake.LogIO Unit

Equations

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

def Lake.Package.test (pkg : Lake.Package) (args : optParam (List String) []) (buildConfig : optParam Lake.BuildConfig { oldMode := false, trustHash := true, noBuild := false, verbosity := Lake.Verbosity.normal, failIfWarnings := false, useStdout := false }) : Lake.LakeT IO UInt32

Equations

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