diff --git a/src/core/CCList.mli b/src/core/CCList.mli index b626b362..7030fac4 100644 --- a/src/core/CCList.mli +++ b/src/core/CCList.mli @@ -391,7 +391,7 @@ val drop : int -> 'a t -> 'a t (** [drop n l] drops the [n] first elements of the list [l], keep the rest. *) val hd_tl : 'a t -> 'a * 'a t -(** [hd_tl (x :: l)] returns [hd, l]. +(** [hd_tl (x :: l)] returns [x, l]. @raise Failure if the list is empty. @since 0.16 *) diff --git a/src/core/CCListLabels.mli b/src/core/CCListLabels.mli index eaf238fb..c0f99696 100644 --- a/src/core/CCListLabels.mli +++ b/src/core/CCListLabels.mli @@ -411,7 +411,7 @@ val drop : int -> 'a t -> 'a t (** [drop n l] drops the [n] first elements of the list [l], keep the rest. *) val hd_tl : 'a t -> 'a * 'a t -(** [hd_tl (x :: l)] returns [hd, l]. +(** [hd_tl (x :: l)] returns [x, l]. @raise Failure if the list is empty. @since 0.16 *)