#ifndef js_H
#define js_H

/* J. Stolfi's miscellaneous general-purpose definitions */
/* Last edited on 2024-11-15 19:14:02 by stolfi */

#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