# `types`

This library implements predicates over standard Prolog term types and also term representing common data structures such as lists and pairs.

It also includes a user-extensible `type` object defining type checking predicates over common Logtalk and Prolog term types.

## API documentation

Open the ../../docs/library_index.html#types link in a web browser.

## Loading

To load all entities in this library, load the `loader.lgt` file:

    | ?- logtalk_load(types(loader)).

In case your code only requires the most basic types, you can load in alternative the file:

    | ?- logtalk_load(basic_types(loader)).

See the notes on the `basic_types` virtual library for details.

## Testing

To test this library predicates, load the `tester.lgt` file:

    | ?- logtalk_load(types(tester)).