← Mathematical handbook

opaque Lake.nameExt : Lean.EnvExtension (Nat × Lean.Name)

opaque Lake.dirExt : Lean.EnvExtension (Option System.FilePath)

opaque Lake.optsExt : Lean.EnvExtension (Option (Lean.NameMap String))