From 19b91e7f1fa5d3cc36f2d97363dcf0b2dc00a678 Mon Sep 17 00:00:00 2001 From: Paul-Elliot Date: Fri, 8 Nov 2024 16:16:19 +0100 Subject: [PATCH] Url of identifier: fix docstring --- src/document/url.mli | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/document/url.mli b/src/document/url.mli index da600bcafb..f69c1c57c9 100644 --- a/src/document/url.mli +++ b/src/document/url.mli @@ -124,8 +124,6 @@ val from_identifier : stop_before:bool -> Identifier.t -> (t, Error.t) result - Using [~stop_before:false] with a module that does not contain an expansion, such as a module alias. This will return [Ok url] but [url] leads to a 404. - - Using [~stop_before:true] with a module that does not contain a parent, - such as a root module. This will return an [Error _] value. - Calling it with an unlinkable id, such as a core type. This will return an [Error _] value.