Example 1

package SomeClass;
use Class::Agreement;

precondition quux => 
    sub { $_[1] >= 0 };
sub quux {
    my ( $self, $value ) = @_;
    ...
}