Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package dune-release
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module Stdext.PathSource
is_backup_file s returns true iff the filename s:
- ends with
'~' - or begins with
'#'and ends with'#'.
find_files ~names_wo_ext files returns the list of files among files whose name without extension is equal to an element of names_wo_ext. Backup files are ignored.