package fileutils

  1. Overview
  2. Docs
package fileutils
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module FilePath_typeSource

Sourcetype current_dir_type =
  1. | Short
  2. | Long
Sourcetype filename_part =
  1. | Root of string
  2. | ParentDir
  3. | CurrentDir of current_dir_type
  4. | Component of string
Sourcetype filename = string
Sourcetype extension = string
Sourceval begin_string : 'a -> 'b -> 'a * 'b
Sourceval add_string : string -> (string * 'a) -> string * 'a
Sourceval end_string : (string * filename_part list) -> filename_part list
Sourceval path_length : int