/* See {multifok_pattern.h}. */
/* Last edited on 2025-01-30 14:43:12 by stolfi */

#include <stdint.h>

#include <multifok_pattern.h>