4-variable-simplifier/truthtable_set/is_empty.h

bool truthtable_set_is_empty(
    const struct truthtable_set* this);