Darren New <dne### [at] sanrrcom> wrote:
> (What would an invariant look like in C?)

  I suppose the closest thing is "assert(a < b);"

-- 
                                                          - Warp

Post a reply to this message