opaque Lake.packageAttr : Lake.OrderedTagAttribute

opaque Lake.packageDepAttr : Lake.OrderedTagAttribute

opaque Lake.postUpdateAttr : Lake.OrderedTagAttribute

opaque Lake.scriptAttr : Lake.OrderedTagAttribute

opaque Lake.defaultScriptAttr : Lake.OrderedTagAttribute

opaque Lake.leanLibAttr : Lake.OrderedTagAttribute

opaque Lake.leanExeAttr : Lake.OrderedTagAttribute

opaque Lake.externLibAttr : Lake.OrderedTagAttribute

opaque Lake.targetAttr : Lake.OrderedTagAttribute

opaque Lake.defaultTargetAttr : Lake.OrderedTagAttribute

opaque Lake.testDriverAttr : Lake.OrderedTagAttribute

opaque Lake.lintDriverAttr : Lake.OrderedTagAttribute

opaque Lake.moduleFacetAttr : Lake.OrderedTagAttribute

opaque Lake.packageFacetAttr : Lake.OrderedTagAttribute

opaque Lake.libraryFacetAttr : Lake.OrderedTagAttribute