finish adding type constraints
[scpubgit/DX.git] / lib / DX / Predicate / Rule.pm
1 package DX::Predicate::Rule;
2
3 use DX::Class;
4
5 with 'DX::Role::Predicate';
6
7 has arg_names => (is => 'ro', required => 1, isa => ArrayRef[Str]);
8
9 has proposition_sequence => (
10   is => 'ro', required => 1, isa => PropositionSequence
11 );
12
13 1;