LIBRARY libevercrypt

EXPORTS
  Hacl_Chacha20_chacha20_encrypt
  Hacl_Chacha20_chacha20_decrypt
  Hacl_Curve25519_64_scalarmult
  Hacl_Curve25519_64_secret_to_public
  Hacl_Curve25519_64_ecdh
  Hacl_Impl_Curve25519_Field51_fadd
  Hacl_Impl_Curve25519_Field51_fsub
  Hacl_Impl_Curve25519_Field51_fmul
  Hacl_Impl_Curve25519_Field51_fmul2
  Hacl_Impl_Curve25519_Field51_fmul1
  Hacl_Impl_Curve25519_Field51_fsqr
  Hacl_Impl_Curve25519_Field51_fsqr2
  Hacl_Impl_Curve25519_Field51_store_felem
  Hacl_Impl_Curve25519_Field51_cswap2
  Hacl_Curve25519_51_scalarmult
  Hacl_Curve25519_51_secret_to_public
  Hacl_Curve25519_51_ecdh
  Hacl_Poly1305_32_poly1305_init
  Hacl_Poly1305_32_poly1305_update1
  Hacl_Poly1305_32_poly1305_update
  Hacl_Poly1305_32_poly1305_finish
  Hacl_Poly1305_32_poly1305_mac
  Hacl_Impl_Poly1305_Field32xN_128_load_acc2
  Hacl_Impl_Poly1305_Field32xN_128_fmul_r2_normalize
  Hacl_Poly1305_128_poly1305_init
  Hacl_Poly1305_128_poly1305_update1
  Hacl_Poly1305_128_poly1305_update
  Hacl_Poly1305_128_poly1305_finish
  Hacl_Poly1305_128_poly1305_mac
  Hacl_Impl_Poly1305_Field32xN_256_load_acc4
  Hacl_Impl_Poly1305_Field32xN_256_fmul_r4_normalize
  Hacl_Poly1305_256_poly1305_init
  Hacl_Poly1305_256_poly1305_update1
  Hacl_Poly1305_256_poly1305_update
  Hacl_Poly1305_256_poly1305_finish
  Hacl_Poly1305_256_poly1305_mac
  Hacl_IntTypes_Intrinsics_add_carry_u32
  Hacl_IntTypes_Intrinsics_sub_borrow_u32
  Hacl_IntTypes_Intrinsics_add_carry_u64
  Hacl_IntTypes_Intrinsics_sub_borrow_u64
  Hacl_IntTypes_Intrinsics_128_add_carry_u64
  Hacl_IntTypes_Intrinsics_128_sub_borrow_u64
  Hacl_Chacha20_Vec128_chacha20_encrypt_128
  Hacl_Chacha20_Vec128_chacha20_decrypt_128
  Hacl_Chacha20Poly1305_128_aead_encrypt
  Hacl_Chacha20Poly1305_128_aead_decrypt
  Hacl_Chacha20Poly1305_32_aead_encrypt
  Hacl_Chacha20Poly1305_32_aead_decrypt
  Hacl_Chacha20_Vec256_chacha20_encrypt_256
  Hacl_Chacha20_Vec256_chacha20_decrypt_256
  Hacl_Chacha20Poly1305_256_aead_encrypt
  Hacl_Chacha20Poly1305_256_aead_decrypt