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