# 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