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"]