| `- of term * term
	  | `* of term * term

	datatype rel =
	    `&lt;   of term * term
	  | `&lt;=  of term * term
	  | `=   of term * term
	  | `&lt;&gt;  of term * term
	  | `>=  of term * term
	  | `>   of term * term
	  | `&lt;-> of rel * term

	val var : domain option -> term
	val bin : unit -> term
	val vec : int * domain -> term vector

	val distribute : FD.dist_mode * term vector -> unit
	val distinct : term vector -> unit
	val post : rel -> unit
    end</PRE>

<?php section("description", "descrip