1 package DX::PropositionSequence;
3 use Types::Standard qw(ArrayRef);
6 has members => (is => 'ro', isa => ArrayRef[Proposition], required => 1);
9 shift->new(members => []);
12 sub but_append_proposition {
13 my ($self, $prop) = @_;
14 $self->but(members => [ @{$self->members}, $prop ];