diff --git a/sledge/nonstdlib/NS.mli b/sledge/nonstdlib/NS.mli
index c209ecf70..b365d23bc 100644
--- a/sledge/nonstdlib/NS.mli
+++ b/sledge/nonstdlib/NS.mli
@@ -43,6 +43,8 @@ module Poly : sig
   val hash : 'a -> int
 end
 
+module Ord = Containers.Ord
+
 (** Function combinators *)
 
 val ( let@ ) : ('a -> 'b) -> 'a -> 'b
diff --git a/sledge/nonstdlib/NS0.ml b/sledge/nonstdlib/NS0.ml
index 507c42acd..bace9fd31 100644
--- a/sledge/nonstdlib/NS0.ml
+++ b/sledge/nonstdlib/NS0.ml
@@ -55,6 +55,8 @@ module Poly = struct
   let hash = Stdlib.Hashtbl.hash
 end
 
+module Ord = Containers.Ord
+
 (** Function combinators *)
 
 let ( >> ) f g x = g (f x)