1 package DX::QueryState;
3 use Types::Standard qw(HashRef);
6 has predicates => (is => 'ro', isa => HashRef[Predicate], required => 1);
8 has globals => (is => 'ro', isa => DictValue, required => 1);
10 has proposition_sequence => (
11 is => 'ro', isa => PropositionSequence, required => 1