diff --git a/lens/private/struct/main.rkt b/lens/private/struct/main.rkt
index 5d8ab08..cb72ae6 100644
--- a/lens/private/struct/main.rkt
+++ b/lens/private/struct/main.rkt
@@ -1,3 +1,5 @@
-#lang reprovide
+#lang sweet-exp reprovide
 "field.rkt"
-"struct.rkt"
+except-in "struct.rkt"
+  struct-lenses-out
+  struct+lenses-out
diff --git a/lens/private/struct/struct.scrbl b/lens/private/struct/struct.scrbl
index 1c36b78..dbf7cbc 100644
--- a/lens/private/struct/struct.scrbl
+++ b/lens/private/struct/struct.scrbl
@@ -19,13 +19,3 @@
     (lens-view foo-a-lens (foo 1 2 3))
     (lens-set foo-a-lens (foo 1 2 3) 100)
 ]}
-
-@defform[(struct-lenses-out struct-id)]{
-A @racket[provide] sub-form that provides the lenses defined by
-@racket[define-struct-lenses] or @racket[struct/lens].
-}
-
-@defform[(struct+lenses-out struct-id)]{
-A @racket[provide] sub-form short for using both @racket[struct-out] and
-@racket[struct-lenses-out].
-}
diff --git a/unstable/lens/main.rkt b/unstable/lens/main.rkt
index 3850189..8d9b2de 100644
--- a/unstable/lens/main.rkt
+++ b/unstable/lens/main.rkt
@@ -13,6 +13,7 @@
 "string-split.rkt"
 "struct-join.rkt"
 "struct-nested.rkt"
+"struct-provide.rkt"
 "sublist.rkt"
 "syntax.rkt"
 "view-set.rkt"
diff --git a/unstable/lens/main.scrbl b/unstable/lens/main.scrbl
index cdf76cd..60270e7 100644
--- a/unstable/lens/main.scrbl
+++ b/unstable/lens/main.scrbl
@@ -26,6 +26,7 @@ this library being backwards-compatible.
   "string-split.scrbl"
   "struct-join.scrbl"
   "struct-nested.scrbl"
+  "struct-provide.scrbl"
   "sublist.scrbl"
   "syntax.scrbl"
   "view-set.scrbl"
diff --git a/unstable/lens/struct-provide.rkt b/unstable/lens/struct-provide.rkt
new file mode 100644
index 0000000..d9601dd
--- /dev/null
+++ b/unstable/lens/struct-provide.rkt
@@ -0,0 +1,4 @@
+#lang sweet-exp reprovide
+only-in lens/private/struct/struct
+  struct-lenses-out
+  struct+lenses-out
diff --git a/unstable/lens/struct-provide.scrbl b/unstable/lens/struct-provide.scrbl
new file mode 100644
index 0000000..3eee241
--- /dev/null
+++ b/unstable/lens/struct-provide.scrbl
@@ -0,0 +1,17 @@
+#lang scribble/manual
+
+@(require lens/private/doc-util/main)
+
+@title{Struct-lens provide forms}
+
+@defmodule[unstable/lens/struct-provide]
+
+@defform[(struct-lenses-out struct-id)]{
+A @racket[provide] sub-form that provides the lenses defined by
+@racket[define-struct-lenses] or @racket[struct/lens].
+}
+
+@defform[(struct+lenses-out struct-id)]{
+A @racket[provide] sub-form short for using both @racket[struct-out] and
+@racket[struct-lenses-out].
+}