- moduleFacet: Lake.Name → Lake.Name → Lake.BuildKey
- packageFacet: Lake.Name → Lake.Name → Lake.BuildKey
- targetFacet: Lake.Name → Lake.Name → Lake.Name → Lake.BuildKey
- customTarget: Lake.Name → Lake.Name → Lake.BuildKey
The type of keys in the Lake build store.
Instances For
theorem
Lake.BuildKey.eq_of_quickCmp
{k : Lake.BuildKey}
{k' : Lake.BuildKey}
:
Lake.BuildKey.quickCmp k k' = Ordering.eq → k = k'