Library for checking parameters, return value, preconditions and postconditions with declarative syntax
>= 0
Dice