Eq package:what4

Return predicate that holds if bitvectors are equal.

Return true if all terms are equal.

Equality of boolean values

Check if two applications are equal.

Test MatlabSolverFn values for equality.

A simple datatype for collecting sequences of strings that are to be concatenated together. We intend to maintain several invariants. First, that no sequence is empty; the empty string literal should instead be the unique representative of empty strings. Second, that string sequences do not contain adjacent literals. In other words, adjacent string literals are coalesced.