category

# `os_types`

A set of operating-system related types.

Author: Paulo Moura
Version: 1.2
Date: 2018/2/28
Compilation flags:
`static`
Provides:
type::type/1
type::check/2

## Public interface

(see related entities)

## Protected interface

(see related entities)

## Private predicates

(see related entities)

## Operators

(none)

## Remarks

- Provided types: This category adds “file”, “file(Extensions)”, “directory”, and “environment_variable” types for type-checking when using the “type” library 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.

See also

osp, os, type