Bag specification #
As for sets, bagMember, bagCount and bagMake take the element first. cvc5 marks bagCard,
bagSetof, bagChoose and the higher-order operators experimental.
As for sets, bagMember, bagCount and bagMake take the element first. cvc5 marks bagCard,
bagSetof, bagChoose and the higher-order operators experimental.