package DX::Resolution;

use DX::Class;

has proposition => (is => 'ro', required => 1);

has dependencies => (is => 'ro', required => 1);

has scope_depth => (is => 'ro', required => 1);

sub but_recheck_against {
  my ($self, $hyp) = @_;
  my $scope_hyp = $hyp->but(
    scope => $hyp->scope->prune_to($self->scope_depth)
  );
}

1;
