#include <debug.h>

#include "free.h"

void free_truthtable_set(
    struct truthtable_set* this)
{
    TODO;
}