category
os_types¶
A set of operating-system related types.
Author: Paulo Moura
Version: 1:3:0
Date: 2021-01-03
Compilation flags:
staticRemarks:
Provided types: This category adds
file,file(Extensions),directory, andenvironment_variabletypes for type-checking when using thetypelibrary object.Type
file: For checking if a term is an atom and an existing file.Type
file(Extensions): For checking if a term is an atom and an existing file with one of the listed extensions (specified as'.ext').Type
directory: For checking if a term is an atom and an existing directory.Type
environment_variable: For checking if a term is an atom and an existing environment variable.
Inherited public predicates:
(none)
Public predicates¶
(no local declarations; see entity ancestors if any)
Protected predicates¶
(no local declarations; see entity ancestors if any)
Private predicates¶
(no local declarations; see entity ancestors if any)