package swhid_core
-
swhid_core
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
A module containing the needed OS-related functions.
contents dir
returns the list of files in the directory dir
.
val typ : string -> directory_entry_kind option
type file
returns Dir
if file
is a directory and File
otherwise.
permissions f
returns the 16-bit file mode (as stored by Git) of the file f
. That is:
0o120000
if f
is a symlink0o040000
if f
is a directory0o100755
if f
is an executable file0o100644
if f
is a regular file