17.2 Abstract solver type declarations

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.