Next: Solver type definitions, Previous: The any inst, Up: Solver types [Contents]
The type declarations
:- solver type t1.
:- solver type t2(T1, T2).
declare types t1/0 and t2/2 to be abstract solver types.
Abstract solver type declarations are
identical to ordinary abstract type declarations
except for the solver keyword.