Next: iklib conditions procarg, Previous: iklib conditions procpre, Up: iklib conditions [Index]
Base condition object type representing invalid state or return values
for a procedure application; it is derived from &assertion.
Build and return a new condition object of type
&procedure-postcondition-violation.
Return #t if obj is a condition object of type
&procedure-postcondition-violation; otherwise return
#f.