module FilePath_type:sig..end
type current_dir_type =
| |
Short |
| |
Long |
type filename_part =
| |
Root of |
| |
ParentDir |
| |
CurrentDir of |
| |
Component of |
typefilename =string
typeextension =string
val begin_string : 'a -> 'b -> 'a * 'b
val add_string : string -> string * 'a -> string * 'a
val end_string : string * filename_part list -> filename_part list
val path_length : int