our @EXPORT_OK = (
@const,
- (my @builders = qw(step string number dict proposition)),
+ (my @builders = qw(step rspace rstrat res string number dict proposition)),
'deparse', '*trace',
);
);
}
+sub rspace {
+ require DX::ResolutionSpace;
+ DX::ResolutionSpace->new(@_);
+}
+
+sub rstrat {
+ require DX::ResolutionStrategy;
+ DX::ResolutionStrategy->new(@_);
+}
+
+sub res {
+ require DX::Resolution;
+ DX::Resolution->new(@_);
+}
+
sub string {
require DX::Value::String;
DX::Value::String->new(string_value => $_[0])