[All bundles]

typeslib

Source: repository
Used by: ciaopp

Regular Types Library

This library implements basic routines for storing and manipulating regular types. These operations are used in CiaoPP domains, analysis, and program transformations.

The main library module is typeslib.pl. See typeslib(typeslib_hooks) and typeslib_flag/1 for hooks defining the library parameters. The interface to this library is defined by the following predicates:

Other experimental features: