Contrats d'objet et de classe (par exemple, class/c
, object/c
, etc.) sont actuellement tous des contrats d'impulsion. Bien que les versions chaperon de ceux-ci puissent éventuellement être proposées. En revanche, il n'est pas possible de faire des contrats paramétriques en contrats de chaperon.
Contrats récursifs construits avec contrat à contrat récursif Par défaut, par défaut, les contrats d'impulsion, mais peuvent être configurés pour être n'importe quel type.