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

#include "config.h"

#include "EverCrypt_AutoConfig2.h"
#include "EverCrypt_AEAD.h"
#include "Hacl_Curve25519_64.h"