From 8f3cda4b1ac8ad4fa72a5caca4ca46b5164a091a Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Mon, 29 Mar 2021 14:04:18 -0700
Subject: [PATCH] [sledge] Remove NS.Either, use Either now in Stdlib

Summary: In OCaml 4.12, the Stdlib includes Either.

Reviewed By: jvillard

Differential Revision: D27396916

fbshipit-source-id: fc85199ce
---
 sledge/nonstdlib/NS.mli | 7 -------
 sledge/nonstdlib/NS0.ml | 8 --------
 2 files changed, 15 deletions(-)

diff --git a/sledge/nonstdlib/NS.mli b/sledge/nonstdlib/NS.mli
index a49e9fe6d..bb207eadf 100644
--- a/sledge/nonstdlib/NS.mli
+++ b/sledge/nonstdlib/NS.mli
@@ -153,13 +153,6 @@ include module type of Option.Import
 type 'a zero_one_many = Zero | One of 'a | Many
 type ('a, 'b) zero_one_many2 = Zero2 | One2 of 'a * 'b | Many2
 
-module Either : sig
-  type ('a, 'b) t = Left of 'a | Right of 'b
-
-  val left : 'a -> ('a, 'b) t
-  val right : 'a -> ('b, 'a) t
-end
-
 module Pair = Containers.Pair
 module List = List
 module Array = Array
diff --git a/sledge/nonstdlib/NS0.ml b/sledge/nonstdlib/NS0.ml
index 693f1cd8a..98f454c4e 100644
--- a/sledge/nonstdlib/NS0.ml
+++ b/sledge/nonstdlib/NS0.ml
@@ -134,14 +134,6 @@ let fold_map_from_map map x s ~f =
 type 'a zero_one_many = Zero | One of 'a | Many
 type ('a, 'b) zero_one_many2 = Zero2 | One2 of 'a * 'b | Many2
 
-(* from upcoming Stdlib *)
-module Either = struct
-  type ('a, 'b) t = Left of 'a | Right of 'b
-
-  let left v = Left v
-  let right v = Right v
-end
-
 module Pair = Containers.Pair
 module Bijection = CCBijection [@@warning "-49"]