package caps

  1. Overview
  2. Docs

Module TCB.FilenameSource

Sourceval basename : string -> string
Sourceval dirname : string -> string
Sourceval concat : string -> string -> string
Sourceval chop_extension : string -> string
Sourceval is_relative : string -> bool
Sourceval quote : string -> string
Sourceval current_dir_name : string
Sourceval parent_dir_name : string