Documentation

Lake.Build.Executable

Lean Executable Build #

The build function definition for a Lean executable.

source
def Lake.LeanExe.recBuildExe (self : Lake.LeanExe) :
Lake.IndexBuildM (Lake.BuildJob Lake.FilePath)
Instances For