category

# `os_types`

A set of operating-system related types.

Author: Paulo Moura
Version: 1:2:1
Date: 2020-06-22
Compilation flags:
`static`
Provides:
type::type/1
type::check/2
Uses:
list
os
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.

Inherited public predicates:
(none)

- Public predicates

- Protected predicates

- Private predicates

- Operators

## 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)

## Operators

(none)

See also

osp, os, type