clean(List): remove functions defined in Stdlib

This commit is contained in:
Fardale 2020-03-05 19:43:01 +01:00 committed by Simon Cruanes
parent 4f0e219036
commit 0d9b4d910a
3 changed files with 0 additions and 10 deletions

View file

@ -125,8 +125,6 @@ let map f l =
let direct_depth_append_ = 10_000 let direct_depth_append_ = 10_000
let cons x l = x::l
let append l1 l2 = let append l1 l2 =
let rec direct i l1 l2 = match l1 with let rec direct i l1 l2 = match l1 with
| [] -> l2 | [] -> l2

View file

@ -35,10 +35,6 @@ val (>|=) : 'a t -> ('a -> 'b) -> 'b t
(** Infix version of [map] with reversed arguments. (** Infix version of [map] with reversed arguments.
@since 0.5 *) @since 0.5 *)
val cons : 'a -> 'a t -> 'a t
(** [cons x l] is [x::l].
@since 0.12 *)
val append : 'a t -> 'a t -> 'a t val append : 'a t -> 'a t -> 'a t
(** Safe version of {!List.append}. (** Safe version of {!List.append}.
Concatenate two lists. *) Concatenate two lists. *)

View file

@ -35,10 +35,6 @@ val (>|=) : 'a t -> ('a -> 'b) -> 'b t
(** Infix version of [map] with reversed arguments. (** Infix version of [map] with reversed arguments.
@since 0.5 *) @since 0.5 *)
val cons : 'a -> 'a t -> 'a t
(** [cons x l] is [x::l].
@since 0.12 *)
val append : 'a t -> 'a t -> 'a t val append : 'a t -> 'a t -> 'a t
(** Safe version of {!List.append}. (** Safe version of {!List.append}.
Concatenate two lists. *) Concatenate two lists. *)