/* automatically generated by rust-bindgen */

pub type Hacl_EC_Point_point = * mut u64 ; pub type Hacl_EC_Ladder_SmallLoop_uint8_p = * mut u8 ; pub type Hacl_EC_Ladder_uint8_p = * mut u8 ; pub type Hacl_EC_Format_uint8_p = * mut u8 ; extern "C" {
 pub fn Hacl_EC_crypto_scalarmult ( mypublic : * mut u8 , secret : * mut u8 , basepoint : * mut u8 , ) ; 
} pub type Hacl_Curve25519_uint8_p = * mut u8 ; extern "C" {
 pub fn Hacl_Curve25519_crypto_scalarmult ( mypublic : * mut u8 , secret : * mut u8 , basepoint : * mut u8 , ) ; 
}