From discussion at [**CSLib>weak in lakefile** ](https://leanprover.zulipchat.com/#narrow/channel/513188-CSLib/topic/weak.20in.20lakefile/with/546654795).