Контракты объекта и класса (например, class/c
, object/c
, и т. д.) в настоящее время все контракты с подражателем. Хотя версии этих шаперонов могут быть предложены в конечном итоге. Напротив, невозможно заключить параметрические контракты на контракты с шапероном.
Рекурсивные контракты, построенные с рекурсивный контракт Также по умолчанию по умолчанию контрактов с подражателем, но может быть настроен как любой тип.