}
}
+#ifndef NDEBUG
void Signedness::dump() const {
if (isComposite()) {
if (sv->size() == 1) {
} else
std::cerr << ".";
}
+#endif
static inline Instruction::TermOps
getTermOp(TermOps op) {
}
}
+#ifndef NDEBUG
void Signedness::dump() const {
if (isComposite()) {
if (sv->size() == 1) {
} else
std::cerr << ".";
}
+#endif
static inline Instruction::TermOps
getTermOp(TermOps op) {
}
}
+#ifndef NDEBUG
void Signedness::dump() const {
if (isComposite()) {
if (sv->size() == 1) {
} else
std::cerr << ".";
}
+#endif
static inline Instruction::TermOps
getTermOp(TermOps op) {