← Mathematical handbook

opaque Lake.packageAttr : OrderedTagAttribute

opaque Lake.packageDepAttr : OrderedTagAttribute

opaque Lake.postUpdateAttr : OrderedTagAttribute

opaque Lake.scriptAttr : OrderedTagAttribute

opaque Lake.defaultScriptAttr : OrderedTagAttribute

opaque Lake.leanLibAttr : OrderedTagAttribute

opaque Lake.leanExeAttr : OrderedTagAttribute

opaque Lake.externLibAttr : OrderedTagAttribute

opaque Lake.inputFileAttr : OrderedTagAttribute

opaque Lake.inputDirAttr : OrderedTagAttribute

opaque Lake.targetAttr : OrderedTagAttribute

opaque Lake.defaultTargetAttr : OrderedTagAttribute

opaque Lake.testDriverAttr : OrderedTagAttribute

opaque Lake.lintDriverAttr : OrderedTagAttribute

opaque Lake.moduleFacetAttr : OrderedTagAttribute

opaque Lake.packageFacetAttr : OrderedTagAttribute

opaque Lake.libraryFacetAttr : OrderedTagAttribute