1 package DX::Step::ConsiderProposition;
7 has proposition => (is => 'ro', isa => Proposition, required => 1);
11 my $hyp = $ss->current_hypothesis;
14 [ symbol => 'consider' ],
15 @{$self->proposition->for_deparse->[1]},
18 if (my $step = $self->proposition->resolve_for($hyp->scope)) {
19 return $ss->but(next_step => $step);
21 return $ss->but(next_step => DX::Step::Backtrack->new);