From 8a8aadfbb08720e08168eaaab7678266fefb3a2d Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 6 Jun 2025 22:28:01 -0400 Subject: [PATCH] doc --- src/core/route.mli | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/core/route.mli b/src/core/route.mli index 7d0c3980..c0c934b7 100644 --- a/src/core/route.mli +++ b/src/core/route.mli @@ -54,6 +54,8 @@ val to_string : _ t -> string @since 0.7 *) val to_url : ('a, string) t -> 'a +(** [to_url route args] takes a route, and turns it into a URL path. + @since NEXT_RELEASE *) module Private_ : sig val eval : string list -> ('a, 'b) t -> 'a -> 'b option