Analysis Information Server

This module provides the other parts of the compiler with the information they require on properties of the program, either inferred or from the assertions.

Usage and interface

Documentation on exports

PREDICATEget_info/5
No further documentation available for this predicate.

PREDICATEget_absint/4
No further documentation available for this predicate.

No further documentation available for this predicate.

PREDICATEtype_holds/3
No further documentation available for this predicate.

PREDICATEtype_fails/3
No further documentation available for this predicate.

No further documentation available for this predicate.

No further documentation available for this predicate.

No further documentation available for this predicate.

No further documentation available for this predicate.

Documentation on imports

This module has the following direct dependencies: