package DX::ResolvedPropositionSet;
use DX::DependencyMap;
-use Types::Standard qw(ArrayRef);
+use Types::Standard qw(ArrayRef Int);
use DX::Utils qw(deparse);
use DX::Class;
has propositions => (is => 'ro', isa => ArrayRef[Proposition], required => 1);
-has scope_depth => (is => 'ro', required => 1);
+has scope_depth => (is => 'ro', isa => Int, required => 1);
sub resolved_count { scalar @{$_[0]->propositions} }