From 29af15cdd1c8eafaedf45c02d8c26528624a1195 Mon Sep 17 00:00:00 2001 From: Josh Berdine Date: Fri, 6 Nov 2020 06:15:05 -0800 Subject: [PATCH] [sledge] Add Containers.Ord Reviewed By: da319 Differential Revision: D24746233 fbshipit-source-id: 5160decb3 --- sledge/nonstdlib/NS.mli | 2 ++ sledge/nonstdlib/NS0.ml | 2 ++ 2 files changed, 4 insertions(+) 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)