11 has body => (is => 'ro', required => 1);
14 my ($self, $state) = @_;
15 my $var = DX::Var->new(id => "rule:not")
16 ->with_stream(DX::ArrayStream->from_array(
17 $self->body, DX::Op::Return->new
19 my $invoke = DX::Op::FromCode->new(
21 my ($self, $state) = @_;
22 my $op = $var->bound_value;
26 my $ret_op = DX::Op::SetScope->new(
27 scope => $state->scope, next => $self->next
29 $state->push_return_then($self->next, $invoke)->mark_choice($var);