Module FilePath_type

module FilePath_type: sig .. end

type current_dir_type = 
| Short
| Long
type filename_part = 
| Root of string
| ParentDir
| CurrentDir of current_dir_type
| Component of string
type filename = string 
type extension = 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