diff --git a/sledge/nonstdlib/NSMap.ml b/sledge/nonstdlib/NSMap.ml
index a716c511a..1dd3f9014 100644
--- a/sledge/nonstdlib/NSMap.ml
+++ b/sledge/nonstdlib/NSMap.ml
@@ -109,6 +109,7 @@ struct
   let choose = M.choose_opt
   let choose_exn = M.choose
   let min_binding = M.min_binding_opt
+  let max_binding = M.max_binding_opt
   let mem k m = M.mem k m
   let find_exn k m = M.find k m
   let find k m = M.find_opt k m
diff --git a/sledge/nonstdlib/NSMap_intf.ml b/sledge/nonstdlib/NSMap_intf.ml
index 99addcfaa..02b594ebe 100644
--- a/sledge/nonstdlib/NSMap_intf.ml
+++ b/sledge/nonstdlib/NSMap_intf.ml
@@ -80,6 +80,7 @@ module type S = sig
       equivalent maps. [O(1)]. *)
 
   val min_binding : 'a t -> (key * 'a) option
+  val max_binding : 'a t -> (key * 'a) option
   val mem : key -> 'a t -> bool
   val find : key -> 'a t -> 'a option
   val find_exn : key -> 'a t -> 'a