Module Spin_std.FilenameSource
Sourceval check_suffix : string -> string -> bool Sourceval chop_extension : string -> string Sourceval chop_suffix : string -> string -> string Sourceval current_dir_name : string Sourceval is_implicit : string -> bool Sourceval is_relative : string -> bool Sourceval parent_dir_name : string Sourceval quote : string -> string Sourceval temp_dir_name : string Sourceval dirname : string -> string Sourceval basename : string -> string Sourceval of_parts : string list -> string Sourceval concat : string -> string -> string