#ifndef js_H
#define js_H

/* J. Stolfi's miscellaneous general-purpose definitions */
/* Last edited on 2017-08-02 09:13:58 by jstolfi */

#define _GNU_SOURCE
#include <stdio.h>
/* #include <sys/time.h> */
#include <time.h>

/* HANDY BASIC TYPES */

#include <bool.h>

/* STRING UTILITIES */

#include <jsstring.h>

/* TIME/DATE UNTILITIES */

#include <jstime.h>

/* FILE AND I/O UTILITIES */

#include <jsfile.h>

/* RANDOM NUMBERS */

#include <jsrandom.h>

/* MISC MATH */

#include <jsmath.h>

#endif