package DX::Role::Predicate;

use Object::Tap;
use DX::Role;

sub resolution_step_for {
  my ($self, $prop, @args) = @_;
  $self->_resolution_space_for(@args)
       ->but(proposition => $prop)
       ->$_tap(sub { trace rspace => $_[0] })
       ->next_step;
}

1;
