cpython/Modules/_hacl/include/krml/types.h

#pragma once

#include <inttypes.h>

uint128_t;

#define KRML_VERIFIED_UINT128

#include "krml/lowstar_endianness.h"
#include "krml/fstar_uint128_struct_endianness.h"
#include "krml/FStar_UInt128_Verified.h"