/*
 * Meta header to include all the main header files we care about.
 */
#pragma once

#include "config.h"
#define HACL_CAN_COMPILE_VEC128 1

#include "Hacl_AEAD_Chacha20Poly1305_Simd128.h"
#include "Hacl_Hash_Blake2s_Simd128.h"