
  <PRE>
    import signature LINEAR from "x-alice:/lib/constraints/LINEAR-sig"
    import structure Linear from "x-alice:/lib/constraints/Linear"</PRE>

<?php section("interface", "interface"); ?>

  <PRE>
    signature LINEAR =
    sig
	infix 7 `*
	infix 6 `+ `-
	infix 5 `#
	infix 4 `= `&lt;&gt; `> `>= `&lt; `&lt;=
	infix 3 `&lt;->

	datatype domain_element =
	    `` of int
	  | `# of int * int

	type domain = domain_element list

	datatype term =
	    FD of FD.fd
	  | `  of int
	  | `+ of term * term
	  