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