helm/interface/uriManager.mli

   1 type uri
   2
   3 val eq : uri -> uri -> bool
   4
   5 val uri_of_string : string -> uri
   6
   7 val string_of_uri : uri -> string  (* complete uri *)
   8 val name_of_uri   : uri -> string  (* name only (without extension)*)
   9 val buri_of_uri   : uri -> string  (* base uri only *)
  10 val depth_of_uri  : uri -> int     (* length of the path *)
  11
  12 (* relative_depth curi uri cookingsno                                        *)
  13 (* is the number of times to cook uri to use it when the current uri is curi *)
  14 (* cooked cookingsno times                                                   *)
  15 val relative_depth : uri -> uri -> int -> int