/* This file was auto-generated by KreMLin! */
#include "kremlib.h"
#ifndef __Hacl_Policies_H
#define __Hacl_Policies_H





uint8_t Hacl_Policies_declassify_u8(uint8_t x);

uint32_t Hacl_Policies_declassify_u32(uint32_t x);

uint64_t Hacl_Policies_declassify_u64(uint64_t x);

FStar_UInt128_t Hacl_Policies_declassify_u128(FStar_UInt128_t x);

uint8_t Hacl_Policies_cmp_bytes_(uint8_t *b1, uint8_t *b2, uint32_t len, uint8_t *tmp);

uint8_t Hacl_Policies_cmp_bytes(uint8_t *b1, uint8_t *b2, uint32_t len);
#endif
