ml">libabsolute</a> &#x00BB; Libabsolute__Csp</nav><h1>Module <code>Libabsolute__Csp</code></h1><p>This module defines the main types used for the constraint language of AbSolute, along with the type of problems, and instance.</p><nav class="toc"><ul><li><a href="#types">Types</a></li><li><a href="#accessors">Accessors</a></li><li><a href="#constructors">Constructors</a></li><li><a href="#operations">Operations</a></li><li><a href="#printing">Printing</a></li></ul></nav></header><section><header><h2 id="typ