diff --git a/sledge/nonstdlib/NS0.ml b/sledge/nonstdlib/NS0.ml
index 63b12bbe6..c197ce0c3 100644
--- a/sledge/nonstdlib/NS0.ml
+++ b/sledge/nonstdlib/NS0.ml
@@ -22,6 +22,9 @@ include (
            and type -'a return := 'a Core.return
     end )
 
+module Iter = Iter
+include Iter.Import
+
 external ( == ) : 'a -> 'a -> bool = "%eq"
 external ( != ) : 'a -> 'a -> bool = "%noteq"
 
diff --git a/sledge/nonstdlib/dune b/sledge/nonstdlib/dune
index 6b8552c03..50c2daa21 100644
--- a/sledge/nonstdlib/dune
+++ b/sledge/nonstdlib/dune
@@ -6,7 +6,7 @@
 (library
  (name NS)
  (public_name nonstdlib)
- (libraries core core_kernel.fheap zarith trace)
+ (libraries core core_kernel.fheap iter zarith trace)
  (flags (:standard))
  (preprocess
   (pps ppx_sledge ppx_trace))
diff --git a/sledge/nonstdlib/iter.ml b/sledge/nonstdlib/iter.ml
new file mode 100644
index 000000000..6462aefe4
--- /dev/null
+++ b/sledge/nonstdlib/iter.ml
@@ -0,0 +1,12 @@
+(*
+ * Copyright (c) Facebook, Inc. and its affiliates.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ *)
+
+include IterLabels
+
+module Import = struct
+  type 'a iter = 'a t
+end
diff --git a/sledge/nonstdlib/iter.mli b/sledge/nonstdlib/iter.mli
new file mode 100644
index 000000000..661d049f9
--- /dev/null
+++ b/sledge/nonstdlib/iter.mli
@@ -0,0 +1,12 @@
+(*
+ * Copyright (c) Facebook, Inc. and its affiliates.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ *)
+
+include module type of IterLabels
+
+module Import : sig
+  type 'a iter = 'a t
+end
diff --git a/sledge/sledge.opam b/sledge/sledge.opam
index 90ba13879..465619115 100644
--- a/sledge/sledge.opam
+++ b/sledge/sledge.opam
@@ -18,6 +18,7 @@ depends: [
   "ctypes-foreign"
   "dune" {build & >= "2.7"}
   "dune-build-info" {build}
+  "iter"
   "llvm" {= "8.0.0"}
   "ppx_compare"
   "ppx_hash"