package lambdapi

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

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 get_temp_dir_name : unit -> string

val set_temp_dir_name : string -> unit

val temp_dir_name : string

deprecated Use Filename.get_temp_dir_name instead

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.