[sledge] Remove dead List.remove

Reviewed By: jvillard

Differential Revision: D18736377

fbshipit-source-id: 49626e7c6
master
Josh Berdine 5 years ago committed by Facebook Github Bot
parent 661db9db76
commit 0999d202ad

@ -212,8 +212,6 @@ module List = struct
in
remove_ [] xs
let remove xs x = try Some (remove_exn xs x) with Caml.Not_found -> None
let rec rev_init n ~f =
if n = 0 then []
else

@ -167,7 +167,6 @@ module List : sig
argument, or raise [Not_found] if no such element exists. [equal]
defaults to physical equality. *)
val remove : 'a list -> 'a -> 'a list option
val rev_init : int -> f:(int -> 'a) -> 'a list
val symmetric_diff :

Loading…
Cancel
Save