diff --git a/sledge/nonstdlib/map.ml b/sledge/nonstdlib/map.ml
index 0eec08336..c52d8c3ee 100644
--- a/sledge/nonstdlib/map.ml
+++ b/sledge/nonstdlib/map.ml
@@ -188,7 +188,8 @@ end) : S with type key = Key.t = struct
   let keys = M.keys
   let values = M.values
   let to_iter = M.to_iter
-  let to_list = M.to_list
+  let to_list = M.bindings
+  let to_list_rev = M.to_list
   let of_iter = M.of_iter
   let of_list = M.of_list
 
diff --git a/sledge/nonstdlib/map_intf.ml b/sledge/nonstdlib/map_intf.ml
index 950fb2a6b..4f7a4efbf 100644
--- a/sledge/nonstdlib/map_intf.ml
+++ b/sledge/nonstdlib/map_intf.ml
@@ -122,6 +122,7 @@ module type S = sig
   val values : 'a t -> 'a iter
   val to_iter : 'a t -> (key * 'a) iter
   val to_list : 'a t -> (key * 'a) list
+  val to_list_rev : 'a t -> (key * 'a) list
   val of_iter : (key * 'a) iter -> 'a t
   val of_list : (key * 'a) list -> 'a t