/* Exposing private types of {drtree.h} */
/* Last edited on 2023-06-05 03:21:20 by stolfi */
#ifndef drtree_private_H
#define drtree_private_H
/* Last edited on 2023-06-04 17:40:49 by stolfi */

#define drtree_private_H_COPYRIGHT \
  "Duh?"

#define _GNU_SOURCE
#include <stdint.h>
#include <vec.h> 

#include <drtree.h>

#endif