package lambdapi

  1. Overview
  2. Docs
package lambdapi
Legend:
Library
Module
Module type
Parameter
Class
Class type
include module type of struct include Stdlib.Filename end
val current_dir_name : string
val parent_dir_name : string
val dir_sep : string
val concat : string -> string -> string
val is_relative : string -> bool
val is_implicit : string -> bool
val check_suffix : string -> string -> bool
val chop_suffix : string -> string -> string
val chop_suffix_opt : suffix:string -> string -> string option
val extension : string -> string
val remove_extension : string -> string
val chop_extension : string -> string
val basename : string -> string
val dirname : string -> string
val null : string
val temp_file : ?temp_dir:string -> string -> string -> string
val open_temp_file : ?mode:Stdlib.open_flag list -> ?perms:int -> ?temp_dir:string -> string -> string -> string * Stdlib.out_channel
val temp_dir : ?temp_dir:string -> ?perms:int -> string -> string -> string
val get_temp_dir_name : unit -> string
val set_temp_dir_name : string -> unit
val quote : string -> string
val quote_command : string -> ?stdin:string -> ?stdout:string -> ?stderr:string -> string list -> string
val realpath : string -> string

realpath path returns the absolute canonical path to file path. If path is invalid (i.e., it does not describe an existing file), then the exception Invalid_argument is raised.

val normalize : string -> string
val current_dir : unit -> string

current_dir () returns the canonical running path of the program.