Now (check-requirements) and (check-requirement) use contracts.
authorSergey Goldgaber <gitorious.20.dryad@recursor.net>
Tue, 21 Aug 2012 18:50:19 +0000 (14:50 -0400)
committerSergey Goldgaber <gitorious.20.dryad@recursor.net>
Tue, 21 Aug 2012 18:50:19 +0000 (14:50 -0400)
commite1267e9bac8c58cb102daca61a37efc93366c23e
treef21392d11bdf1bfac4154e22a55f1363bbe1318f
parent80e8a49820e0972243b3328c581f3be15900734f
Now (check-requirements) and (check-requirement) use contracts.
src/code/i3-toolkit.csi