1 package DX::Resolution;
5 has proposition => (is => 'ro', required => 1);
7 has dependencies => (is => 'ro', required => 1);
9 has scope_depth => (is => 'ro', required => 1);
11 sub but_recheck_against {
12 my ($self, $hyp) = @_;
13 my $scope_hyp = $hyp->but(
14 scope => $hyp->scope->prune_to($self->scope_depth)