Next: Solver type definitions,
Previous: The any inst,
Up: Solver types
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.