Documentation

Lake.CLI.Actions

def Lake.env (cmd : String) (args : optParam (Array String) #[]) :
Instances For
    def Lake.exe (name : Lake.Name) (args : optParam (Array String) #[]) (buildConfig : optParam Lake.BuildConfig { oldMode := false, trustHash := true }) :
    Instances For
      Instances For