deprecated

The decorator @deprecated("Some explanation.") is used in libraries to deprecate some values. For instance, in the module List of the standard library:

@inline @deprecated("Use `List.tail` instead.")

const tail_opt = <elt>(list: List.t<elt>) : option<List.t<elt>> =>

List.tail(list);