package DX::PropositionSequence;

use Types::Standard qw(ArrayRef);
use DX::Class;

has members => (is => 'ro', isa => ArrayRef[Proposition], required => 1);

sub new_empty {
  shift->new(members => []);
}

sub but_append_proposition {
  my ($self, $prop) = @_;
  $self->but(members => [ @{$self->members}, $prop ]);
}

1;
