nit icon indicating copy to clipboard operation
nit copied to clipboard

Published 20 hours ago • verified publisher icon nitlang

Collections: Add contract usage

Open Delja opened this issue 4 years ago • 0 comments

This pr add contract usage in lib/core/collection. All assert that was used as a pre-post condition are replaced by contracts expects ensures.

Delja avatar Sep 30 '19 20:09 Delja