Remember to export provided

src/core/soundness+vacuous-core.scala

@@ -18,4 +18,4 @@ package soundness
 
 export vacuous.{Default, default, Unset, Optional, UnsetError, or, absent, present, vouch, mask,
     stdlib, presume, option, assume, lay, layGiven, let, letGiven, compact, optional, puncture,
-    only, unless, Unsafe, Extractor}
+    only, unless, provided, Unsafe, Extractor}