#include "rust/cxx.h"

void compile_ddnnf(rust::String input, rust::String output);