[−][src]Module hacl_star_sys::chacha20poly1305
Structs
Hacl_Impl_Poly1305_64_State_poly1305_state |
Statics
Hacl_Chacha20Poly1305_noncelen | |
Hacl_Chacha20Poly1305_keylen | |
Hacl_Chacha20Poly1305_maclen |
Functions
Hacl_Chacha20Poly1305_encode_length⚠ | |
Hacl_Chacha20Poly1305_aead_encrypt_⚠ | |
Hacl_Chacha20Poly1305_aead_encrypt⚠ | |
Hacl_Chacha20Poly1305_aead_decrypt⚠ |
Type Definitions
Hacl_Chacha20Poly1305_state | |
Hacl_Chacha20Poly1305_log_t | |
Prims_int | |
__int32_t | |
__uint8_t | |
__uint32_t | |
__uint64_t |