<map id="structs" name="structs">
<area shape="rect" id="node2" href="$a00919.html" title="In Vaucanson, several types of contracts can be placed in the library code." alt="" coords="365,5,597,35"/>
</map>
