struct truthtable_set;

void free_truthtable_set(
    struct truthtable_set* this);